Sciweavers

1369 search results - page 102 / 274
» On the Semantics of Petri Nets
Sort
View
ATAL
2005
Springer
16 years 15 days ago
Validation of an agent based system using Petri Nets
Thomas Moncion, Guillaume Hutzler, Patrick Amar
156
Voted
CONCUR
2005
Springer
16 years 15 days ago
Merged Processes - A New Condensed Representation of Petri Net Behaviour
Victor Khomenko, Alex Kondratyev, Maciej Koutny, W...
161
Voted
FORMATS
2005
Springer
16 years 14 days ago
Comparison of the Expressiveness of Timed Automata and Time Petri Nets
Béatrice Bérard, Franck Cassez, Serg...