Petri Nets 2019

The document "Petri Nets 2019" was published on "2023-08-04T09:06:06" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:Petri Nets 2019.

The document "Petri Nets 2019" describes an event in the sense of a conference.

The document "Petri Nets 2019" contains information about the event "Petri Nets 2019" with start date "2019/06/23" and end date "2019/06/28".

The event "Petri Nets 2019" is part of the event series identified by [[Event Series:Petri Nets]]

Deadlines

organization

Process and Data Science (PADS) Group, RWTH Aachen University

Metrics

Submitted Papers

41

Accepted Papers

23

Venue

Tivoli Aachen, Aachen, North Rhine-Westphalia, Germany

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":50.79311185,"lon":6.096428547239402,"icon":""}],"imageoverlays":null}

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