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.
E-Book
Transactions on Petri Nets and Other Models of Concurrency XVIII
Ursprünglicher Preis war: 80,24 €56,17 €Aktueller Preis ist: 56,17 €.
📍 -- Personen haben dieses Produkt kürzlich angesehen
🚚 Voraussichtliche Lieferung： Okt. 17 - Okt. 22
📦 Versandrichtlinie： Kostenloser Versand bei Bestellungen über 25 €
🛡️ 30-Tage-Rückgabe： Kostenlose Rücksendung, keine Wiederaufnahmegebühren
✉️ Kundensupport： 24/7 Unterstützung
🔒 Sicherer Checkout
Ähnliche Produkte
-
E-Book
HCI International 2026 Posters
Ursprünglicher Preis war: 117,69 €88,27 €Aktueller Preis ist: 88,27 €. In den Warenkorb -
E-Book
HCI in Mobility, Transport, and Automotive Systems
Ursprünglicher Preis war: 96,29 €67,40 €Aktueller Preis ist: 67,40 €. In den Warenkorb -
E-Book
Im Land des weiten Himmels
Ursprünglicher Preis war: 14,99 €10,49 €Aktueller Preis ist: 10,49 €. In den Warenkorb -
E-Book
Wilder Hund
Ursprünglicher Preis war: 7,49 €5,24 €Aktueller Preis ist: 5,24 €. In den Warenkorb
Rezensionen
Es gibt noch keine Rezensionen.