Sciweavers

941 search results - page 93 / 189
» Self-Evolving Petri Nets
Sort
View
ATAL
2005
Springer
15 years 12 months ago
Validation of an agent based system using Petri Nets
Thomas Moncion, Guillaume Hutzler, Patrick Amar
CONCUR
2005
Springer
15 years 12 months ago
Merged Processes - A New Condensed Representation of Petri Net Behaviour
Victor Khomenko, Alex Kondratyev, Maciej Koutny, W...
FORMATS
2005
Springer
15 years 12 months ago
Comparison of the Expressiveness of Timed Automata and Time Petri Nets
Béatrice Bérard, Franck Cassez, Serg...