Transactions on petri nets and other models of concurrency XVI / Maciej Koutny, Fabrice Kordon, Daniel Moldt (eds.).
2022
QA267
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Transactions on petri nets and other models of concurrency XVI / Maciej Koutny, Fabrice Kordon, Daniel Moldt (eds.).
ISBN
9783662653036 (electronic bk.)
3662653036 (electronic bk.)
3662653028
9783662653029
3662653036 (electronic bk.)
3662653028
9783662653029
Publication Details
Berlin, Germany : Springer, 2022.
Language
English
Description
1 online resource
Item Number
10.1007/978-3-662-65303-6 doi
Call Number
QA267
Dewey Decimal Classification
511.3/5
Summary
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 Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri Net conferences Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) Other papers invited for publication in ToPNoC Papers submitted directly to To\PNoC by their authors 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 the 20th International Conference on Application of Concurrency to System Design, ACSD 2020. 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, distributed simulations, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed May 2, 2022).
Added Author
Added Meeting Name
Series
Lecture notes in computer science ; 13220.
Available in Other Form
Print version: 9783662653029
Linked Resources
Record Appears in
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.
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.