Curator 90 (talk | contribs) |
Curator 100 (talk | contribs) |
||
Line 15: | Line 15: | ||
|Academic Field=Computer Architecture | |Academic Field=Computer Architecture | ||
|Official Website=http://www.petrinets2019.de/call-for-papers/ | |Official Website=http://www.petrinets2019.de/call-for-papers/ | ||
+ | |DOI=10.25798/wjj0-wj15 | ||
|Type=Conference | |Type=Conference | ||
|has general chair=Wil van der Aalst | |has general chair=Wil van der Aalst |
Latest revision as of 09:06, 4 August 2023
Deadlines
Metrics
Submitted Papers
41
Accepted Papers
23
Venue
Tivoli Aachen, Aachen, North Rhine-Westphalia, 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
- 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