(mobo import Concept___Event_For_Confident-migrated) |
Curator 100 (talk | contribs) |
||
(6 intermediate revisions by 3 users not shown) | |||
Line 2: | Line 2: | ||
|Acronym=Petri Nets 2019 | |Acronym=Petri Nets 2019 | ||
|Title=40th International Conference on Applications and Theory of Petri Nets and Concurrency | |Title=40th International Conference on Applications and Theory of Petri Nets and Concurrency | ||
+ | |Ordinal=40 | ||
+ | |In Event Series=Event Series:Petri Nets | ||
+ | |Single Day Event=no | ||
+ | |Start Date=2019/06/23 | ||
+ | |End Date=2019/06/28 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
+ | |Venue=Tivoli Aachen | ||
+ | |City=Aachen | ||
+ | |Region=North Rhine-Westphalia | ||
+ | |Country=Country:DE | ||
+ | |Academic Field=Computer Architecture | ||
+ | |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 | ||
|has program chair=Susanna Donatelli, Stefan Haar | |has program chair=Susanna Donatelli, Stefan Haar | ||
− | |||
− | |||
|has Proceedings Link=https://www.springer.com/gp/book/9783030215705 | |has Proceedings Link=https://www.springer.com/gp/book/9783030215705 | ||
|pageCreator=User:Curator 27 | |pageCreator=User:Curator 27 | ||
|pageEditor=User:Curator 27 | |pageEditor=User:Curator 27 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
+ | {{Event Deadline}} | ||
+ | {{Organizer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=Process and Data Science (PADS) Group, RWTH Aachen University | ||
+ | }} | ||
+ | {{Event Metric | ||
+ | |Number Of Submitted Papers=41 | ||
+ | |Number Of Accepted Papers=23 | ||
+ | }} | ||
+ | {{S Event}} | ||
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 | 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 |
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