Sciweavers

941 search results - page 53 / 189
» Haskell-Coloured Petri Nets
Sort
View
CONCUR
2005
Springer
14 years 2 months ago
Merged Processes - A New Condensed Representation of Petri Net Behaviour
Victor Khomenko, Alex Kondratyev, Maciej Koutny, W...
FORMATS
2005
Springer
14 years 2 months ago
Comparison of the Expressiveness of Timed Automata and Time Petri Nets
Béatrice Bérard, Franck Cassez, Serg...
MEMBRANE
2005
Springer
14 years 2 months ago
Towards a Petri Net Semantics for Membrane Systems
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
WOSP
2004
ACM
14 years 1 months ago
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
Juan Pablo López-Grao, José Mersegue...