Transactions on Petri Nets and Other Models of Concurrency XV (e-bok)
Fler böcker inom
Format
E-bok
Filformat
EPUB med LCP-kryptering (0.0 MB)
Om LCP-kryptering
Nedladdning
Kan laddas ned under 24 månader, dock max 6 gånger.
Språk
Engelska
Utgivningsdatum
2021-02-24
Förlag
Springer Berlin Heidelberg
ISBN
9783662630792

Transactions on Petri Nets and Other Models of Concurrency XV E-bok

av Maciej Koutny, Fabrice Kordon, Lucia Pomello
E-bok (LCP),  Engelska, 2021-02-24
724
Ladda ned
Spara som favorit
Läs i Bokus Reader för iOS och Android
Finns även som
Visa alla 1 format & utgåvor
The 15th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, and the 19th International Conference on Application of Concurrency to System Design, ACSD 2019.The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, communication protocols, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
Visa hela texten

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Maciej Koutny, Fabrice Kordon, Lucia Pomello

Du kanske gillar