You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
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 *
Save page Show preview Cancel