Articles liés à Transactions on Petri Nets and Other Models of Concurrency...
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.
Résultats de recherche pour Transactions on Petri Nets and Other Models of Concurrency...
Image fournie par le vendeur
Transactions on Petri Nets and Other Models of Concurrency XVIII
Edité par
Springer, Berlin, Springer Berlin Heidelberg, Springer Aug 2026, 2026
ISBN 10 : 3662733048
ISBN 13 : 9783662733042
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 381 pp. Englisch. N° de réf. du vendeur 9783662733042
Acheter neuf
EUR 80,24
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Transactions on Petri Nets and Other Models of Concurrency XVIII (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2026
ISBN 10 : 3662733048
ISBN 13 : 9783662733042
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. 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. 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. a method for synthesising Petri net models from given transition systems; application of coloured Petri nets for modelling software architecture; and Petri net model checking. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783662733042
Acheter neuf
EUR 105,28
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Transactions on Petri Nets and Other Models of Concurrency XVIII
Edité par
Springer Verlag GmbH, 2026
ISBN 10 : 3662733048
ISBN 13 : 9783662733042
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. N° de réf. du vendeur 2949049766
Acheter neuf
EUR 70,33
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Transactions On Petri Nets And Other Models Of Concurrency Xviii
Edité par
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2026
ISBN 10 : 3662733048
ISBN 13 : 9783662733042
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 397 pages. 6.10x0.91x9.25 inches. In Stock. N° de réf. du vendeur x-3662733048
Acheter neuf
EUR 122,38
Expédition à EUR 14,58
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Transactions on Petri Nets and Other Models of Concurrency XVIII
Edité par
Springer Spektrum Aug 2026, 2026
ISBN 10 : 3662733048
ISBN 13 : 9783662733042
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch. N° de réf. du vendeur 9783662733042
Acheter neuf
EUR 80,24
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Transactions on Petri Nets and Other Models of Concurrency XVIII
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Transactions on Petri Nets and Other Models of Concurrency XVIII | Fabrice Kordon (u. a.) | Taschenbuch | xvi | Englisch | 2026 | Springer | EAN 9783662733042 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 135965743
Acheter neuf
EUR 72,85
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Transactions on Petri Nets and Other Models of Concurrency XVIII
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783662733042
Acheter neuf
EUR 115,25
Expédition à EUR 30,50
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)