Difference between revisions of "Petri Nets 2019"
Jump to navigation
Jump to search
Heike.Rohde (talk | contribs) |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (2 intermediate revisions by one other user not shown) | |||
| Line 13: | Line 13: | ||
|Submitted papers=41 | |Submitted papers=41 | ||
|Accepted papers=23 | |Accepted papers=23 | ||
| + | |has Proceedings Link=https://www.springer.com/gp/book/9783030215705 | ||
| + | |pageCreator=Heike.Rohde | ||
| + | |pageEditor=Heike.Rohde | ||
| + | |contributionType=1 | ||
}} | }} | ||
| − | The 40th annual international Petri Nets conference will be organized by the Process and Data Science (PADS) group at RWTH Aachen University, Aachen, Germany | + | The 40th annual international Petri Nets conference will be organized by the Process and Data Science (PADS) group at RWTH Aachen University, Aachen, Germany. |
| − | General Topics Related to Concurrency | + | General Topics Related to Concurrency |
| + | * Model checking and verification of distributed systems | ||
| + | * Verification of infinite-state or parametric systems | ||
| + | * Causality/partial order theory of concurrency | ||
| + | * Educational issues related to concurrency | ||
| + | * New developments in the theory of concurrency | ||
| + | * Modelling of hardware and biological systems | ||
| − | + | Topics Specific to Petri Nets | |
| − | + | * Analysis and synthesis, structure and behavior of nets | |
| − | + | * System design and model-driven development using nets | |
| − | + | * Relationships between Petri nets and other approaches | |
| − | + | * Net-based semantical, logical and algebraic calculi | |
| − | + | * Higher-level net models (colored nets, timed nets, etc.) | |
| − | + | * Stochastic net models | |
| − | Topics Specific to Petri Nets | + | * Verification and model checking using nets |
| − | + | * Process discovery and conformance checking | |
| − | Analysis and synthesis, structure and behavior of nets | + | * Computer tools for nets |
| − | System design and model-driven development using nets | + | * Standardization of nets |
| − | Relationships between Petri nets and other approaches | + | * Experience reports describing applications of nets to different kinds of systems and application fields, e.g.: |
| − | Net-based semantical, logical and algebraic calculi | + | * flexible manufacturing systems office automation |
| − | Higher-level net models (colored nets, timed nets, etc.) | + | * real-time systems workflows |
| − | Stochastic net models | + | * embedded systems process mining |
| − | Verification and model checking using nets | + | * biological systems supervisory control |
| − | Process discovery and conformance checking | + | * health and medical systems protocols and networks |
| − | Computer tools for nets | + | * environmental systems Internet and web services |
| − | Standardization of nets | + | * hardware e-commerce and trading |
| − | Experience reports describing applications of nets to different kinds of systems and application fields, e.g.: | + | * telecommunications programming languages |
| − | flexible manufacturing systems office automation | + | * railway networks performance evaluation |
| − | real-time systems workflows | + | * component-based development operations research |
| − | embedded systems process mining | ||
| − | biological systems supervisory control | ||
| − | health and medical systems protocols and networks | ||
| − | environmental systems Internet and web services | ||
| − | hardware e-commerce and trading | ||
| − | telecommunications programming languages | ||
| − | railway networks performance evaluation | ||
| − | component-based development operations research | ||
Latest revision as of 18:59, 1 April 2022
| Petri Nets 2019 | |
|---|---|
40th International Conference on Applications and Theory of Petri Nets and Concurrency
| |
| Event in series | Petri Nets |
| Dates | 2019/06/23 (iCal) - 2019/06/28 |
| Homepage: | http://www.petrinets2019.de/call-for-papers/ |
| Location | |
| Location: | Aachen, Germany |
| Papers: | Submitted 41 / Accepted 23 (56.1 %) |
| Committees | |
| General chairs: | Wil van der Aalst |
| PC chairs: | Susanna Donatelli, Stefan Haar |
| Table of Contents | |
The 40th annual international Petri Nets conference will be organized by the Process and Data Science (PADS) group at RWTH Aachen University, Aachen, Germany.
General Topics Related to Concurrency
- Model checking and verification of distributed systems
- Verification of infinite-state or parametric systems
- Causality/partial order theory of concurrency
- Educational issues related to concurrency
- New developments in the theory of concurrency
- Modelling of hardware and biological systems
Topics Specific to Petri Nets
- Analysis and synthesis, structure and behavior of nets
- System design and model-driven development using nets
- Relationships between Petri nets and other approaches
- Net-based semantical, logical and algebraic calculi
- Higher-level net models (colored nets, timed nets, etc.)
- Stochastic net models
- Verification and model checking using nets
- Process discovery and conformance checking
- Computer tools for nets
- Standardization of nets
- Experience reports describing applications of nets to different kinds of systems and application fields, e.g.:
- flexible manufacturing systems office automation
- real-time systems workflows
- embedded systems process mining
- biological systems supervisory control
- health and medical systems protocols and networks
- environmental systems Internet and web services
- hardware e-commerce and trading
- telecommunications programming languages
- railway networks performance evaluation
- component-based development operations research