Difference between revisions of "Petri Nets 2019"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by Th) |
||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
| + | |has general chair=Wil van der Aalst | ||
| + | |has program chair=Susanna Donatelli, Stefan Haar | ||
| + | |has Proceedings Link=https://www.springer.com/gp/book/9783030215705 | ||
|Acronym=Petri Nets 2019 | |Acronym=Petri Nets 2019 | ||
| − | |||
| − | |||
| − | |||
| − | |||
|End date=2019/06/28 | |End date=2019/06/28 | ||
| + | |Series =Petri Nets | ||
| + | |Type =Conference | ||
| + | |Country=DE | ||
| + | |State =DE/NW | ||
| + | |City =DE/NW/Aachen | ||
|Homepage=http://www.petrinets2019.de/call-for-papers/ | |Homepage=http://www.petrinets2019.de/call-for-papers/ | ||
| − | | | + | |Start date=2019/06/23 |
| − | | | + | |Title =40th International Conference on Applications and Theory of Petri Nets and Concurrency |
| − | |||
| − | |||
| − | |||
|Accepted papers=23 | |Accepted papers=23 | ||
| − | | | + | |Submitted papers=41}} |
| − | |||
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 01:38, 25 October 2021
Event Rating
| median | worst |
|---|---|
|
|
List of all ratings can be found at Petri Nets 2019/rating
| 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: | DE/NW/Aachen, DE/NW, DE |
| 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