Sciweavers

969 search results - page 98 / 194
» Recursive Petri nets
Sort
View
APN
2006
Springer
15 years 6 months ago
On the Computation of Stubborn Sets of Colored Petri Nets
Sami Evangelista, Jean-François Pradat-Peyr...
APN
2000
Springer
15 years 6 months ago
Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool
Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...
H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst
84
Voted
IFIP
2000
Springer
15 years 6 months ago
A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach
Ricardo Jorge Machado, João M. Fernandes, H...
121
Voted
IFM
2000
Springer
111views Formal Methods» more  IFM 2000»
15 years 6 months ago
A Concurrent and Compositional Petri Net Semantics of Preemption
Hanna Klaudel, Franck Pommereau