Sciweavers

1014 search results - page 105 / 203
» ''What Is a Petri Net
Sort
View
INFORMATICASI
2008
64views more  INFORMATICASI 2008»
15 years 24 days ago
DNA Algorithms for Petri Net Modeling
Alfons Schuster
INFORMATICASI
2008
58views more  INFORMATICASI 2008»
15 years 24 days ago
APC Semantics for Petri Nets
Slavomír Simoòák, Stefan Hud&...
61
Voted
ISSE
2008
15 years 23 days ago
UML behavioral consistency checking using instantiable Petri nets
Yann Thierry-Mieg, Lom-Messan Hillah
86
Voted
JISE
2008
109views more  JISE 2008»
15 years 23 days ago
An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service
Zhijun Ding, Junli Wang, Changjun Jiang
DEDS
2007
62views more  DEDS 2007»
15 years 23 days ago
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches
Bernard Berthomieu, Didier Lime, Olivier H. Roux, ...