Petri Nets 2018

From Openresearch
Jump to: navigation, search
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
Homepage: https://interes.institute/petrinets2018/
Location
Location: Bratislava, Slovakia
Loading map...

Papers: Submitted 33 / Accepted 24 (72.7 %)
Committees
PC chairs: Victor Khomenko, Olivier H. Roux
Workshop chairs: Lars Michael Kristensen, Lucia Pomello
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