Sciweavers

62 search results - page 5 / 13
» Synthesis of Petri Nets from Scenarios with VipTool
Sort
View
ACSD
2007
IEEE
140views Hardware» more  ACSD 2007»
13 years 11 months ago
Synthesis of Petri Nets from Finite Partial Languages
In this paper we present two algorithms that effectively synthesize a finite place/transition Petri net (p/t-net) from a finite set of labeled partial orders (a finite partial lang...
Robert Lorenz, Robin Bergenthum, Jörg Desel, ...
EURODAC
1994
IEEE
124views VHDL» more  EURODAC 1994»
13 years 11 months ago
Parallel controller synthesis from a Petri net specification
Krzysztof Bilinski, Erik L. Dagless, Jonathan M. S...
BPM
2007
Springer
109views Business» more  BPM 2007»
14 years 1 months ago
Process Mining Based on Regions of Languages
In this paper we give an overview, how to apply region based methods for the synthesis of Petri nets from languages to process mining. The research domain of process mining aims at...
Robin Bergenthum, Jörg Desel, Robert Lorenz, ...
ATAL
2008
Springer
13 years 9 months ago
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
Michael Köhler-Bußmeier, Matthias Weste...
ADVIS
2004
Springer
14 years 27 days ago
On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...
Costin Badica, Chris Fox