You do not have permission to edit this page, for the following reason:
Event description:
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
Save page Show preview Show changes Cancel