Sciweavers

957 search results - page 98 / 192
» Negotiations and Petri Nets
Sort
View
84
Voted
ATVA
2007
Springer
98views Hardware» more  ATVA 2007»
15 years 3 months ago
Model Checking Bounded Prioritized Time Petri Nets
Bernard Berthomieu, Florent Peres, François...
APN
2006
Springer
15 years 3 months ago
On the Computation of Stubborn Sets of Colored Petri Nets
Sami Evangelista, Jean-François Pradat-Peyr...
APN
2000
Springer
15 years 3 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