Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
B. Berthoumieu
Information about the author B. Berthoumieu will soon be added to the site.
Found
1 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
The tool TINA – Construction of abstract state spaces for Petri nets and Time Petri nets
2004
In addition to the graphic-editing facilities, the software tool Tina proposes the...
Papers per page:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers
