default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPetri Net Technology for Communication-Based Systems 2003
- Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber:
Petri Net Technology for Communication-Based Systems - Advances in Petri Nets. Lecture Notes in Computer Science 2472, Springer 2003, ISBN 3-540-20538-1 - Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali:
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. 1-21 - Herbert Weber:
Application Development Assistance with the Petri Net Baukasten. 22-36 - Benjamin Braatz
, Hartmut Ehrig, Milan Urbásek:
Petri Net Transformations in the "Petri Net Baukasten". 37-65 - Juliane Dehnert:
Four Steps Towards Sound Business Process Models. 66-82 - Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig:
Generation of Animation Views for Petri Nets in GenGED. 83-108 - Michael Weber, Ekkart Kindler:
The Petri Net Kernel. 109-124 - Michael Weber, Ekkart Kindler:
The Petri Net Markup Language. 124-144 - Kathrin Hoffmann:
Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets. 145-160 - Julia Padberg, Milan Urbásek:
Rule-Based Refinement of Petri Nets: A Survey. 161-196 - Olaf Kluge:
Modelling a Railway Crossing with Message Sequence Charts and Petri Nets. 197-218 - Jörg Desel, Thomas Erwin:
Quantitative Engineering of Business Processes with VIP business. 219-242 - Kirsten Lenz, Andreas Oberweis:
Inter-organizational Business Process Management with XML Nets. 243-263 - Paul W. P. J. Grefen, Samuil Angelov:
Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL. 264-280 - Reiko Heckel:
Open Petri Nets as Semantic Model for Workflow Integration. 281-294 - Jetty Kleijn:
Team Automata for CSCW - A Survey. 295-320 - Rik Eshuis, Roel J. Wieringa:
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. 321-351 - Eckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste:
BASYSNET - An Integrated Approach for Automated Control System Development. 352-362 - Volker Braun, Tiziana Margaria, Bernhard Steffen:
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. 363-382 - Wil M. P. van der Aalst:
Inheritance of Business Processes: A Journey Visiting Four Notorious Problems. 383-408 - Francesco Parisi-Presicce:
A Formal Framework for Petri Net Class Transformations. 409-430 - Sibylle Peuker:
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms. 430-454
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
