Articles liés à Transactions on Petri Nets and Other Models of Concurrency...

Transactions on Petri Nets and Other Models of Concurrency XVIII - Couverture souple

 
9783662733042: Transactions on Petri Nets and Other Models of Concurrency XVIII
Couverture souple
ISBN 10 : 3662733048 ISBN 13 : 9783662733042
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2026

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
2026
Langue
anglais
ISBN 10 
3662733048
ISBN 13 
9783662733042
Reliure
Broché
Nombre de pages
397
Éditeur
Kordon Fabrice, Petrucci Laure, Desel Jörg, Kleijn Jetty, Koutny Maciej, Mikulski Lukasz
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Allemagne