(mobo import Concept___Event_For_Confident-migrated) |
Curator 91 (talk | contribs) |
||
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 | ||
+ | |Official Website=http://www.petrinets2019.de/ | ||
|Type=Conference | |Type=Conference | ||
|Homepage=http://www.petrinets2019.de/call-for-papers/ | |Homepage=http://www.petrinets2019.de/call-for-papers/ | ||
Line 14: | Line 20: | ||
|pageEditor=User:Curator 27 | |pageEditor=User:Curator 27 | ||
|contributionType=1 | |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 | 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 |
Revision as of 11:50, 20 July 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