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}
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. The new PADS group was established in the context of Wil van der Aalst’s Alexander von Humboldt Professorship. The conference will take place in the conference area of the Tivoli football stadium close to the city center of Aachen. The language of the conference is English, and its proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science. Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are sought. All accepted regular papers will be considered for an “Outstanding Paper” award. Some of the best papers will be invited, in an extended form, as submissions to a special issue of a well-established computer science journal.

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