×

zbMATH — the first resource for mathematics

Application and theory of Petri nets and concurrency. 38th international conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017. Proceedings. (English) Zbl 1365.68011
Lecture Notes in Computer Science 10258. Cham: Springer (ISBN 978-3-319-57860-6/pbk; 978-3-319-57861-3/ebook). xiv, 351 p. (2017).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1337.68013].
Indexed articles:
Lomazova, Irina A., Resource equivalences in Petri nets, 19-34 [Zbl 1393.68120]
Pommereau, Franck; de la Houssaye, Jordan, Faster simulation of (coloured) Petri nets using parallel computing, 37-56 [Zbl 1393.68124]
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří, Extended dependency graphs and efficient distributed fixed-point computation, 139-158 [Zbl 1393.68098]
Wolf, Karsten, Model checking concurrency and causality, 159-178 [Zbl 1393.68109]
Bernardinello, Luca; Kılınç, Görkem; Pomello, Lucia, Weak observable liveness and infinite games on finite graphs, 181-199 [Zbl 1393.68112]
Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan, The complexity of diagnosability and opacity verification for Petri nets, 200-220 [Zbl 1393.68111]
Marussy, Kristóf; Molnár, Vince; Vörös, András; Majzik, István, Getting the priorities right: saturation for prioritised Petri nets, 223-242 [Zbl 1393.68121]
Hujsa, Thomas; Devillers, Raymond, On liveness and deadlockability in subclasses of weighted Petri nets, 267-287 [Zbl 1393.68119]
Köhler-Bußmeier, Michael, Restricting Hornets to support self-adaptive systems, 288-306 [Zbl 1393.68024]
Watel, Dimitri; Weisser, Marc-Antoine; Barth, Dominique, Parameterized complexity and approximability of coverability problems in weighted Petri nets, 330-349 [Zbl 1393.68126]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI