Sciweavers

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