Petri Net Technology for Communication-Based Systems: Advances in Petri Nets [1 ed.] 3540205381, 9783540205388
This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel Petri n
354 120 7MB
English Pages 468 [460] Year 2003
Table of contents :
Front Matter....Pages -
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY....Pages 1-21
Application Development Assistance with the Petri Net Baukasten....Pages 22-36
Petri Net Transformations in the ≫Petri Net Baukasten≪....Pages 37-65
Four Steps Towards Sound Business Process Models....Pages 66-82
Generation of Animation Views for Petri Nets in GenGED....Pages 83-108
The Petri Net Kernel....Pages 109-123
The Petri Net Markup Language....Pages 124-144
Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets....Pages 145-160
Rule-Based Refinement of Petri Nets: A Survey....Pages 161-196
Modelling a Railway Crossing with Message Sequence Charts and Petri Nets....Pages 197-218
Quantitative Engineering of Business Processes with VIPbusiness ....Pages 219-242
Inter-organizational Business Process Management with XML Nets....Pages 243-263
Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL....Pages 264-280
Open Petri Nets as Semantic Model for Workflow Integration....Pages 281-294
Team Automata for CSCW – A Survey –....Pages 295-320
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets....Pages 321-351
BASYSNET – An Integrated Approach for Automated Control System Development....Pages 352-362
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology....Pages 363-382
Inheritance of Business Processes: A Journey Visiting Four Notorious Problems....Pages 383-408
A Formal Framework for Petri Net Class Transformations....Pages 409-429
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms....Pages 430-454
Back Matter....Pages -
Front Matter....Pages -
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY....Pages 1-21
Application Development Assistance with the Petri Net Baukasten....Pages 22-36
Petri Net Transformations in the ≫Petri Net Baukasten≪....Pages 37-65
Four Steps Towards Sound Business Process Models....Pages 66-82
Generation of Animation Views for Petri Nets in GenGED....Pages 83-108
The Petri Net Kernel....Pages 109-123
The Petri Net Markup Language....Pages 124-144
Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets....Pages 145-160
Rule-Based Refinement of Petri Nets: A Survey....Pages 161-196
Modelling a Railway Crossing with Message Sequence Charts and Petri Nets....Pages 197-218
Quantitative Engineering of Business Processes with VIPbusiness ....Pages 219-242
Inter-organizational Business Process Management with XML Nets....Pages 243-263
Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL....Pages 264-280
Open Petri Nets as Semantic Model for Workflow Integration....Pages 281-294
Team Automata for CSCW – A Survey –....Pages 295-320
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets....Pages 321-351
BASYSNET – An Integrated Approach for Automated Control System Development....Pages 352-362
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology....Pages 363-382
Inheritance of Business Processes: A Journey Visiting Four Notorious Problems....Pages 383-408
A Formal Framework for Petri Net Class Transformations....Pages 409-429
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms....Pages 430-454
Back Matter....Pages -
![Petri Net Technology for Communication-Based Systems: Advances in Petri Nets [1 ed.]
3540205381, 9783540205388](https://ebin.pub/img/200x200/petri-net-technology-for-communication-based-systems-advances-in-petri-nets-1nbsped-3540205381-9783540205388.jpg)
- Author / Uploaded
- H. Weber
- H. Ehrig
- W. Reisig
- A. Borusan (auth.)
- Hartmut Ehrig
- Wolfgang Reisig
- Grzegorz Rozenberg
- Herbert Weber (eds.)
- Similar Topics
- Technique
- Electronics: Telecommunications
![Application of Petri Nets to Communication Networks: Advances in Petri Nets [1 ed.]
354065870X, 9783540658702](https://ebin.pub/img/200x200/application-of-petri-nets-to-communication-networks-advances-in-petri-nets-1nbsped-354065870x-9783540658702.jpg)
![Lectures on Petri Nets II: Applications: Advances in Petri Nets [1 ed.]
3540653074, 9783540653073](https://ebin.pub/img/200x200/lectures-on-petri-nets-ii-applications-advances-in-petri-nets-1nbsped-3540653074-9783540653073.jpg)
![Lectures on Petri Nets I: Basic Models: Advances in Petri Nets [1 ed.]
3540653066, 9783540653066](https://ebin.pub/img/200x200/lectures-on-petri-nets-i-basic-models-advances-in-petri-nets-1nbsped-3540653066-9783540653066.jpg)
![Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings [1st ed.]
9783030518301, 9783030518318](https://ebin.pub/img/200x200/application-and-theory-of-petri-nets-and-concurrency-41st-international-conference-petri-nets-2020-paris-france-june-2425-2020-proceedings-1st-ed-9783030518301-9783030518318.jpg)
