| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Application and theory of petri nets and concurrency/ edited by Lars Michael Kristensen, Jan Martijn van der Werf. |
| Reminder of title: |
45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024 : proceedings / |
| remainder title: |
PETRI NETS 2024 |
| other author: |
Kristensen, Lars Michael. |
| corporate name: |
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency |
| Published: |
Cham :Springer Nature Switzerland : : 2024., |
| Description: |
xiv, 446 p. :ill. (some col.), digital ;24 cm. |
| [NT 15003449]: |
-Invited Papers -- Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation -- On the Application of Model Driven Optimization to Business Processes -- Business Process Modelling and Mining -- Concurrent Context Free Grammar for Parsing Business Processes with Iterated Shuffles -- Conformance Checking with Model Projections Rethinking Log Model Alignments for Processes with Interacting Objects -- Process Comparison Using Petri Net Decomposition -- Semantics and Complexity -- On the Expressive Power of Transfinite Sequences for Continuous Petri Nets -- Hilbert composition of multilabelled events -- Relational Structures for Interval Order Semantics of Concurrent Systems -- Token Trail Semantics II Petri Nets and their Net Language -- Languages of Higher Dimensional Timed Automata -- Reachability -- Petri Net Synthesis from a Reachability Set -- Symbolic domains and reachability for nets with trajectories -- Verification and Model Checking -- Symbolic Model Checking using Intervals of Vectors -- Safety Verification of Wait Only Non Blocking Broadcast Protocols -- Modular State Space A New Perspective -- Verifying Temporal Logic Properties in the Modular State Space -- Applications and Tools -- Design of Event driven Tsetlin Machines using safe Petri nets -- Identifying Duplicates in Large Collections of Petri Nets and Nested Unit Petri Nets -- Remote Debugger A Tool to Remotely Monitor and Operate IOPT nets Controllers -- Using Petri Nets for Digital Twins Modeling and Deployment A Power Wheelchair System Case Study -- CosyVerif the Path to Formalisms Cohabitation. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Petri nets - Congresses. - |
| Online resource: |
https://doi.org/10.1007/978-3-031-61433-0 |
| ISBN: |
9783031614330 |