Teil der Reihe: Computer Science (R0)

Transactions on Petri Nets and Other Models of Concurrency XVIII

Name: Transactions on Petri Nets and Other Models of Concurrency XVIII
Brand: Fabrice Kordon
SKU: 9783662733059
Price: 80.24 EUR
Availability: InStock

€80,24

inkl. MwSt. • Kein physischer Versand

Sofort per Download lieferbar

Ihr Downloadlink kommt direkt per E-Mail.

PDF: lesbar auf Smartphone, Tablet, Computer und in vielen PDF-Apps.

Anzahl:

E-Book

eBook-Format:PDF

Inhaltsangabe

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.

Produktdetails