Petri Nets 2019

Petri Nets 2019
40th International Conference on Applications and Theory of Petri Nets and Concurrency
Event in series	Petri Nets
Dates	2019/06/23 (iCal) - 2019/06/28
Homepage:	http://www.petrinets2019.de/call-for-papers/
Location
Location:	Aachen, Germany
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":50.776351,"lon":6.083862,"icon":""}],"imageoverlays":null}
Papers:	Submitted 41 / Accepted 23 (56.1 %)
Committees
General chairs:	Wil van der Aalst
PC chairs:	Susanna Donatelli, Stefan Haar
Table of Contents

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