Petri Nets 2018

Petri Nets 2018
39th International Conference on Applications and Theory of Petri Nets and Concurrency
Event in series	Petri Nets
Dates	2018/06/24 (iCal) - 2018/06/29
Location
Location:	Bratislava, Slovakia
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":48.1516988,"lon":17.1093063,"icon":""}],"imageoverlays":null}
Committees
PC chairs:	Victor Khomenko, Olivier H. Roux
Workshop chairs:	Lars Michael Kristensen, Lucia Pomello
Table of Contents

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