Sciweavers

1014 search results - page 100 / 203
» ''What Is a Petri Net
Sort
View
92
Voted
IFM
2000
Springer
111views Formal Methods» more  IFM 2000»
15 years 4 months ago
A Concurrent and Compositional Petri Net Semantics of Preemption
Hanna Klaudel, Franck Pommereau
78
Voted
AMAST
1995
Springer
15 years 4 months ago
Petri Nets, Traces, and Local Model Checking
Allan Cheng
72
Voted
ICNP
1995
IEEE
15 years 4 months ago
Petri net models for describing multimedia synchronization requirements
Son T. Vuong, Kendra Cooper, Mabo Robert Ito