Transactions on Petri nets and other models of concurrency XVIII Fabrice Kordon [and five others] editors

Format:

Book

Conference/Event

Contributor:

Kordon, Fabrice, editor.

Conference Name:

Advanced Course on Petri Nets (6th : 2023 : Toruń, Poland)

Series:

Lecture notes in computer science ; 16260.

Lecture notes in computer science 1611-3349 16260

Language:

English

Subjects (All):

Petri nets.

Computer multitasking.

Physical Description:

1 online resource

Place of Publication:

Berlin, Germany Springer [2026]

Summary:

"The 18th volume of ToPNoC contains revised and extended contributions based on the lectures delivered during the 6th Advanced Course on Petri Nets, ACPN 2023. The 7 lectures and 4 practical papers address topics such as modelling distributed systems; Petri Net essentials; semantics of concurrent systems; a method for synthesising Petri net models from given transition systems; the Reachability Problem in Petri nets; model checking timed and strategic properties; analysis and synthesis of subclasses of Petri nets; design decisions in process discovery; extracting event logs; application of coloured Petri nets for modelling software architecture; and Petri net model checking"-- Springer Nature Link

Contents:

Modeling distributed systems and processes with Petri nets – the big picture / Jörg Desel and Julia Anna Fleischer

Essentials of Petri nets / Wolfgang Reisig and Peter Fettke

Semantics of concurrent systems / Ryszard Janicki, Jetty Kleijn, Maciej Koutny, and Łukasz Mikulski

From behaviour to nets via regions / Maciej Koutny, Łukasz Mikulski, and Marta Pietkiewicz-Koutny

The reachability problem in Petri nets : decidability and hardness / Sławomir Lasota

Model checking timed and strategic properties / Étienne André, Wojciech Penczek, and Laure Petrucci

Analysis and synthesis of some subclasses of Petri nets / Raymond Devillers and Kamila Barylska

Design decisions in process discovery and the inductive miner framework / D. Fahland

Building and pre-processing event logs / Dirk Fahland and Xixi Lu

Application of coloured Petri nets for modelling the software architecture of the SmartOcean data service platform / Lars Michael Kristensen

A gentle tour through a Petri net model checking tool / Karsten Wolf

Notes:

ISSN 1867-7746

Includes bibliographical references and index

Online resource; title from PDF title page (Springer Nature Link, viewed July 20, 2026)

Other Format:

Print version Transactions on petri nets and other models of concurrency

ISBN:

9783662733059

3662733056

OCLC:

1605592794

Access Restriction:

Restricted for use by site license