Sciweavers

957 search results - page 98 / 192
» Negotiations and Petri Nets
Sort
View
ATVA
2007
Springer
98views Hardware» more  ATVA 2007»
15 years 10 months ago
Model Checking Bounded Prioritized Time Petri Nets
Bernard Berthomieu, Florent Peres, François...
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