Back to search

IKTPLUSS-IKT og digital innovasjon

Petri Nets 2020 Conference Support

Awarded: NOK 99,999

The aim of the conference is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in the areas of: * General topics of interest 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 behaviour 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 (e.g, coloured nets, timed nets) - Stochastic net models - Verification and model checking using nets - Process discovery and conformance checking - Computer tools for nets - Standardisation of nets - Experience reports describing applications to different kinds of systems: real-time systems, workflows, embedded systems, process mining, biological systems, health and medical systems, Internet and Web services, environmental systems, e-commerce, hardware, programming languages, protocols and networks, performance evaluation * Special track on Application of Concurrency to System Design (ACSD) Both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit concurrent behaviour. The formal models of computation and concurrency for the above systems and problems are not limited by Petri nets, but also include models like dataflow models, communicating automata, process algebras, graph rewriting systems, state charts, MSCs, modal and temporal logics. More information is available at the conference website:

Funding scheme:

IKTPLUSS-IKT og digital innovasjon