Sciweavers

941 search results - page 101 / 189
» Self-Evolving Petri Nets
Sort
View
APN
2006
Springer
15 years 10 months ago
On the Computation of Stubborn Sets of Colored Petri Nets
Sami Evangelista, Jean-François Pradat-Peyr...
APN
2000
Springer
15 years 10 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
168
Voted
IFM
2000
Springer
111views Formal Methods» more  IFM 2000»
15 years 10 months ago
A Concurrent and Compositional Petri Net Semantics of Preemption
Hanna Klaudel, Franck Pommereau