Petri Nets 2018

Petri Nets 2018
39th International Conference on Applications and Theory of Petri Nets and Concurrency
Event in series	Petri Nets
Dates	2018/06/24 (iCal) - 2018/06/29
Location
Location:	Bratislava, Slovakia
Loading map...
Table of Contents

The conference will be co-located with the 18th International Conference on Application of Concurrency to System Design (ACSD 2018).

 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

• ● System design using nets
• ● Analysis and synthesis, structure and behaviour of nets
• ● Relationships between Petri nets and other approaches
• ● Net-based semantical, logical and algebraic calculi
• ● Symbolic net representation (graphical or textual)
• ● Computer tools for nets
• ● Experience with using nets, case studies
• ● Higher-level net models
• ● Timed and stochastic nets
• ● Standardisation of nets
• ● Experience reports describing applications of nets to different kinds of systems and application fields, e.g.:
• flexible manufacturing systems
• real-time systems
• embedded systems
• biological systems
• health and medical systems
• environmental systems
• hardware
• telecommunications
• railway networks
• component-based development
• office automation
• workflows
• process mining
• supervisory control
• protocols and networks
• Internet and web services
• e-commerce and trading
• programming languages
• performance evaluation
• operations research