Petri Nets 2018

From ConfIDent
Deadlines
Metrics
Submitted Papers
33
Accepted Papers
24
Venue

Bratislava, Slovakia

Loading map...

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
Cookies help us deliver our services. By using our services, you agree to our use of cookies.