Transactions on petri nets and other models of concurrency XVI

Transactions on petri nets and other models of concurrency XVI / Maciej Koutny, Fabrice Kordon, Daniel Moldt (eds.).

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 distributed and indexed. This Journal has its own E...

Full description

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, International Conference on Application of Concurrency to System Design
Other Authors: Koutny, Maciej, 1958-, Kordon, Fabrice, Moldt, Daniel
Format: eBook
Language:English
Published: Berlin, Germany : Springer, 2022.
Series:Lecture notes in computer science ; 13220.
Subjects:
Petri nets > Congresses.
Petri nets
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Click for online access
Table of Contents:
  • Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
  • Defining Meaningful Local Process Models
  • Distributed Synthesis of Asynchronously Communicating Distributed Process Models
  • Using Approximation for the Verification of Token-Scaling Models
  • Portfolio Management in Explicit Model Checking
  • Practical Distributed Implementation of Very Large Scale Petri Net Simulations.

Similar Items