Del i serien Lecture Notes in Computer Science

Transactions on Petri Nets and Other Models of Concurrency XVIII

Häftad, Engelska, 2026

AvFabrice Kordon,Laure Petrucci,Jörg Desel,Jetty Kleijn,Maciej Koutny,Lukasz Mikulski

1 609 kr

Kommande

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.

Produktinformation

Utgivningsdatum2026-05-20
Mått155 x 235 x undefined mm
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor384
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783662733042

Tillhör följande kategorier

Referensverk och tvärvetenskap inom Samhälle och politik
Programmeringsböcker inom Data och IT
Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

Lectures.- Modeling Distributed Systems and Processes with Petri Nets - the Big Picture.- Essentials of Petri nets.- Semantics of Concurrent Systems.- From Behaviour to Nets via Regions.- The Reachability Problem in Petri Nets: Decidability and Hardness.- Model Checking Timed and Strategic Properties.- Analysis and Synthesis of Some Subclasses of Petri Nets.- Practicals Design Decisions in Process Discovery and the Inductive Miner Framework.- Extracting and Pre-Processing Event Logs.- Application of Coloured Petri Nets for Modelling the Software Architecture of the SmartOcean Data Service Platform.- A Gentle Tour Through A Petri Net Model Checking Tool.