Sciweavers

1019 search results - page 97 / 204
» Petri Net Transformations in the
Sort
View
CONCUR
2005
Springer
16 years 17 days ago
Merged Processes - A New Condensed Representation of Petri Net Behaviour
Victor Khomenko, Alex Kondratyev, Maciej Koutny, W...
FORMATS
2005
Springer
16 years 17 days ago
Comparison of the Expressiveness of Timed Automata and Time Petri Nets
Béatrice Bérard, Franck Cassez, Serg...
MEMBRANE
2005
Springer
16 years 16 days ago
Towards a Petri Net Semantics for Membrane Systems
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg