Petri Nets 2019

From Openresearch
Jump to: navigation, search
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...

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
Facts about "Petri Nets 2019"
Acceptance rate56.1 +
Accepted papers23 +
AcronymPetri Nets 2019 +
End dateJune 28, 2019 +
Event in seriesPetri Nets +
Event typeConference +
Has coordinates50° 52' 50", 6° 12' 43"Latitude: 50.880486111111
Longitude: 6.2119388888889
+
Has general chairWil van der Aalst +
Has location cityAachen +
Has location countryCategory:Germany +
Has program chairSusanna Donatelli + and Stefan Haar +
Homepagehttp://www.petrinets2019.de/call-for-papers/ +
IsAEvent +
Start dateJune 23, 2019 +
Submitted papers41 +
Title40th International Conference on Applications and Theory of Petri Nets and Concurrency +