You have Guest access.
Log In
Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg and Herbert Weber
Front matter
1-21
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY
22-36
Application Development Assistance with the Petri Net Baukasten
37-65
Petri Net Transformations in the ≫Petri Net Baukasten≪
66-82
Four Steps Towards Sound Business Process Models
83-108
Generation of Animation Views for Petri Nets in GenGED
109-123
The Petri Net Kernel
124-144
The Petri Net Markup Language
145-160
Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets
161-196
Rule-Based Refinement of Petri Nets: A Survey
197-218
Modelling a Railway Crossing with Message Sequence Charts and Petri Nets
219-242
Quantitative Engineering of Business Processes with VIPbusiness
243-263
Inter-organizational Business Process Management with XML Nets
264-280
Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL
281-294
Open Petri Nets as Semantic Model for Workflow Integration
295-320
Team Automata for CSCW – A Survey –
321-351
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets
352-362
BASYSNET – An Integrated Approach for Automated Control System Development
363-382
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology
383-408
Inheritance of Business Processes: A Journey Visiting Four Notorious Problems
409-429
A Formal Framework for Petri Net Class Transformations
430-454
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms
H. Weber, H. Ehrig, W. Reisig, A. Borusan and S. Lembke, et al.
Herbert Weber
B. Braatz, H. Ehrig and M. Urbášek
Juliane Dehnert
Claudia Ermel, Roswitha Bardohl and Hartmut Ehrig
Michael Weber and Ekkart Kindler
Kathrin Hoffmann
J. Padberg and M. Urbášek
Olaf Kluge
Jörg Desel and Thomas Erwin
Kirsten Lenz and Andreas Oberweis
Paul Grefen and Samuil Angelov
Reiko Heckel
Jetty Kleijn
Rik Eshuis and Roel Wieringa
Eckehard Schnieder, Mourad Chouikha, Stefan Einer and Michael Meyer zu Hörste
Volker Braun, Tiziana Margaria and Bernhard Steffen
W. M. P. van der Aalst
Francesco Parisi-Presicce
Sibylle Peuker
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info