Curator 91 (talk | contribs) |
(mobo import Concept___Events-migrated) |
||
| Line 11: | Line 11: | ||
|Homepage=http://www.petrinets2019.de/call-for-papers/ | |Homepage=http://www.petrinets2019.de/call-for-papers/ | ||
|City=Aachen | |City=Aachen | ||
| − | |Country= | + | |Country=Country:DE |
|has general chair=Wil van der Aalst | |has general chair=Wil van der Aalst | ||
|has program chair=Susanna Donatelli, Stefan Haar | |has program chair=Susanna Donatelli, Stefan Haar | ||
| Line 20: | Line 20: | ||
|pageEditor=User:Curator 27 | |pageEditor=User:Curator 27 | ||
|contributionType=1 | |contributionType=1 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
}} | }} | ||
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. | ||
Revision as of 14:46, 6 September 2022
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
