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 in Mobility, Transport, and Automotive Systems
Ursprünglicher Preis war: 96,29 €67,40 €Aktueller Preis ist: 67,40 €. In den Warenkorb -
E-Book
Die Patin von New York
Ursprünglicher Preis war: 9,99 €6,99 €Aktueller Preis ist: 6,99 €. In den Warenkorb -
E-Book
Nature-Positive Leadership
Ursprünglicher Preis war: 96,29 €67,40 €Aktueller Preis ist: 67,40 €. In den Warenkorb -
E-Book
Gemeinsam Versorgungsqualität stärken
Ursprünglicher Preis war: 39,99 €27,99 €Aktueller Preis ist: 27,99 €. In den Warenkorb
Rezensionen
Es gibt noch keine Rezensionen.