Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo
Sērija : Transactions on Petri Nets and Other Models of Concurrency
(Izdošanas datums: 01-Nov-2023, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662681909)
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XVII. These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial appl...Lasīt vairāk
Sērija : Transactions on Petri Nets and Other Models of Concurrency
(Izdošanas datums: 20-Apr-2022, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662653029)
The 16th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 41st International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2020, and t...Lasīt vairāk
Sērija : Transactions on Petri Nets and Other Models of Concurrency
(Izdošanas datums: 25-Feb-2021, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662630785)
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 Ne...Lasīt vairāk
Maciej Koutny, Lucia Pomello, Lars Michael Kristensen
Sērija : Transactions on Petri Nets and Other Models of Concurrency
(Izdošanas datums: 06-Dec-2019, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662606506)
The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the...Lasīt vairāk
Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
Sērija : Transactions on Petri Nets and Other Models of Concurrency
(Izdošanas datums: 29-Nov-2018, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662583807)
The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th Inter...Lasīt vairāk
Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang
Sērija : Transactions on Petri Nets and Other Models of Concurrency
(Izdošanas datums: 26-Sep-2017, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662558614)
The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th Internat...Lasīt vairāk
Sērija : Transactions on Petri Nets and Other Models of Concurrency
(Izdošanas datums: 12-Dec-2014, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662457290)
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely d...Lasīt vairāk
Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev
Sērija : Transactions on Petri Nets and Other Models of Concurrency
(Izdošanas datums: 14-Aug-2013, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642404641)
This volume features papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Coverage includes model checking and system verification, refinement and synthesis, and innovative app...Lasīt vairāk
Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
Sērija : Transactions on Petri Nets and Other Models of Concurrency
(Izdošanas datums: 09-May-2013, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642381423)
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely d...Lasīt vairāk
Sērija : Transactions on Petri Nets and Other Models of Concurrency
(Izdošanas datums: 27-Mar-2012, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642290718)
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely d...Lasīt vairāk
Sērija : Transactions on Petri Nets and Other Models of Concurrency
(Izdošanas datums: 27-Mar-2009, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642008986)
Cover topics ranging from the formal (mostly Petri-net based) foundations of PAISs to more applied topics such as flexibility and process mining. This title presents an overview of the development in PAIS research. Transactions on Petri Nets...Lasīt vairāk
Wil M. P. van der Aalst, Kurt Jensen, Jonathan Billington
Sērija : Transactions on Petri Nets and Other Models of Concurrency
(Izdošanas datums: 18-Dec-2008, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540892861)
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widel...Lasīt vairāk
