From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems (Englisch)
- Neue Suche nach: Mans, Ronny S.
- Neue Suche nach: van der Aalst, Wil M. P.
- Neue Suche nach: Russell, Nick C.
- Neue Suche nach: Bakker, Piet J. M.
- Neue Suche nach: Moleman, Arnold J.
- Neue Suche nach: Lassen, Kristian B.
- Neue Suche nach: Jørgensen, Jens B.
- Neue Suche nach: Jensen, Kurt
- Neue Suche nach: Billington, Jonathan
- Neue Suche nach: Koutny, Maciej
- Neue Suche nach: Mans, Ronny S.
- Neue Suche nach: van der Aalst, Wil M. P.
- Neue Suche nach: Russell, Nick C.
- Neue Suche nach: Bakker, Piet J. M.
- Neue Suche nach: Moleman, Arnold J.
- Neue Suche nach: Lassen, Kristian B.
- Neue Suche nach: Jørgensen, Jens B.
In:
Transactions on Petri Nets and Other Models of Concurrency III
;
Kapitel: 2
;
25-49
;
2009
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems
-
Beteiligte:Jensen, Kurt ( Herausgeber:in ) / Billington, Jonathan ( Herausgeber:in ) / Koutny, Maciej ( Herausgeber:in ) / Mans, Ronny S. ( Autor:in ) / van der Aalst, Wil M. P. ( Autor:in ) / Russell, Nick C. ( Autor:in ) / Bakker, Piet J. M. ( Autor:in ) / Moleman, Arnold J. ( Autor:in ) / Lassen, Kristian B. ( Autor:in ) / Jørgensen, Jens B. ( Autor:in )
-
Erschienen in:Transactions on Petri Nets and Other Models of Concurrency III ; Kapitel: 2 ; 25-49Lecture Notes in Computer Science ; 5800 ; 25-49
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2009
-
Format / Umfang:25 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Designing a Workflow System Using Coloured Petri NetsRussell, Nick C. / van der Aalst, Wil M. P. / ter Hofstede, Arthur H. M. et al. | 2009
- 2
-
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow SystemsMans, Ronny S. / van der Aalst, Wil M. P. / Russell, Nick C. / Bakker, Piet J. M. / Moleman, Arnold J. / Lassen, Kristian B. / Jørgensen, Jens B. et al. | 2009
- 3
-
Soundness of Workflow Nets with Reset Arcsvan der Aalst, Wil M. P. / van Hee, Kees M. / ter Hofstede, Arthur H. M. / Sidorova, Natalia / Verbeek, H. M. W. / Voorhoeve, Marc / Wynn, Moe T. et al. | 2009
- 4
-
Parameterised Coloured Petri Net Channel ModelsBillington, Jonathan / Vanit-Anunchai, Somsak / Gallasch, Guy E. et al. | 2009
- 5
-
On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing ProtocolBillington, Jonathan / Yuan, Cong et al. | 2009
- 6
-
Modelling Mobile IP with Mobile Petri NetsLakos, Charles et al. | 2009
- 7
-
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial ExampleBonnefoi, Fabien / Choppy, Christine / Kordon, Fabrice et al. | 2009
- 8
-
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate DetectionEvangelista, Sami / Westergaard, Michael / Kristensen, Lars M. et al. | 2009
- 9
-
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial LanguageBergenthum, Robin / Desel, Jörg / Mauser, Sebastian et al. | 2009
- 10
-
On Bisimulation Theory in Linear Higher-Order π-CalculusXu, Xian et al. | 2009