View source for Petri Nets 2019

{{Event
|Acronym=Petri Nets 2019
|Title=40th International Conference on Applications and Theory of Petri Nets and Concurrency
|Series=Petri Nets
|Type=Conference
|Start date=2019/06/23
|End date=2019/06/28
|Homepage=http://www.petrinets2019.de/call-for-papers/
|City=Aachen
|Country=Germany
}}
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
Acceptance rate	56.1 +
Accepted papers	23 +
Acronym	Petri Nets 2019 +
End date	June 28, 2019 +
Event in series	Petri Nets +
Event type	Conference +
Has coordinates	50° 46' 35", 6° 5' 2"Latitude: 50.77635 Longitude: 6.0838611111111 +
Has general chair	Wil van der Aalst +
Has location city	Aachen +
Has location country	Category:Germany +
Has program chair	Susanna Donatelli + and Stefan Haar +
Homepage	http://www.petrinets2019.de/call-for-papers/ +
IsA	Event +
Start date	June 23, 2019 +
Submitted papers	41 +
Title	40th International Conference on Applications and Theory of Petri Nets and Concurrency +