- Towards a Human-Usable Textual Language for Jo~ao Paulo Barros1,3
- University of Paderborn Software Engineering Group
- Name: Matrikelnummer: Vorname: Stud.-Abschnitt
- DAWN for component based systems just a different perspective
- 3D-Visualization of Petri Net Models: A concept Ekkart Kindler and Csaba Pales
- Component Tools: A vision of a tool Alexander Gepting, Joel Greenyer, Ekkart Kindler, Andreas Maas,
- On the semantics of EPCs: Efficient calculation and simulation
- Reconciling Scenario-Centered Controller Design with State-Based System Models
- The Petri Net Markup Language and ISO/IEC 15909-2: Concepts, Status, and Future Directions
- AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects
- Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios
- TGGs for Transforming UML to CSP: Contribution to the ACTIVE 2007 Graph
- ISO/IEC 3rd CD 15909-2 Date: 2007-01-22
- Type expressions describe a set of elements allowed for the tokens on a place described by some sort. Thus, type expressions usually refer to some named sort introduced by a
- ISO/IEC JTC1/SC7 Software & Systems Engineering
- On the semantics of EPCs: A framework for resolving the vicious circle
- Petri Nets and the Real World Ekkart Kindler and Frank Nillies
- Folien zur Lehrveranstaltung Modelchecking
- Prsentationstechnik -SS 2004 -Prof. Dr. Stefan Bttcher 1
- Name: Matrikelnummer: Vorname: Stud.-Abschnitt
- Using the Petri Net Markup Language for Exchanging Business Processes
- University of Paderborn Software Engineering Group
- Component Tools: Application and Integration of Formal Methods
- Modular PNML revisited: Some ideas for strict typing
- High-level Petri Nets Transfer Format Working Draft of the International Standard ISO/IEC 15909 Part 2
- Software and Systems Engineering High-level Petri Nets Part 2: Transfer Format
- ISO/IEC JTC1/SC7 Software & Systems Engineering
- Name: Matrikelnummer: Vorname: Stud.-Abschnitt
- Ekkart Kindler, Markus Nuttgens (eds.) Business Process Reference Models
- On the semantics of EPCs: A vicious circle Wil van der Aalst
- ISO/IEC 15909-2, concepts of high-level nets and CPN Laure Petrucci
- An Adaptable TGG Interpreter for In-Memory Model Transformations Ekkart Kindler, Vladimir Rubin, Robert Wagner
- Summary of the morning session Ekkart Kindler Laure Petrucci
- Software and Systems Engineering High-level Petri Nets Part 2: Transfer Format
- High-level Petri Nets Transfer Syntax Proposal for the International Standard ISO/IEC 15909-2
