Application and Theory of Petri Nets and Concurrency

42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings

AvJosep Carmona,Didier Buchs

E-bok
Engelska, 2021

687 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

Beskrivning

This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.

The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Josep Carmona, Boudewijn van Dongen, Andreas Solti, Matthias Weidlich - Conformance Checking, Inbunden

Conformance Checking

Josep Carmona, Boudewijn van Dongen, Andreas Solti, Matthias Weidlich

Inbunden, 2018

957 kr

Matthias Weidlich, Andreas Solti, Boudewijn van Dongen, Josep Carmona - Conformance Checking, E-bok

Conformance Checking

Matthias Weidlich, Andreas Solti, Boudewijn van Dongen, Josep Carmona

E-bok
2018

1 214 kr