Firing partial orders in a Petri net

DOI10.1007/978-3-030-76983-3_20MaRDI QIDQ2117188zbMATH OpenOpenAlexFDO

Authors Robin Bergenthum

Publication date 21 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-76983-3_20

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Faster verification of partially ordered runs in Petri nets using compact tokenflows
• scientific article; zbMATH DE number 3850481
• Executability of scenarios in Petri nets
• Verification of scenarios in Petri nets using compact tokenflows
• Firing sequences and processes of Petri nets

Cites work

• Applications and Theory of Petri Nets 2005
• Discovering Petri nets from event logs
• Faster Unfolding of General Petri Nets Based on Token Flows
• Faster verification of partially ordered runs in Petri nets using compact tokenflows
• Finding Complex Process-Structures by Exploiting the Token-Game
• scientific article; zbMATH DE number 3829262 (Why is no real title available?)
• scientific article; zbMATH DE number 4087033 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 3735177 (Why is no real title available?)
• scientific article; zbMATH DE number 3475221 (Why is no real title available?)
• scientific article; zbMATH DE number 1302043 (Why is no real title available?)
• scientific article; zbMATH DE number 1973117 (Why is no real title available?)
• Maximal Flow Through a Network
• Modular construction and partial order semantics of Petri nets
• Network flows. Theory, algorithms, and applications.
• Oclets – Scenario-Based Modeling with Petri Nets
• Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs
• Understanding Petri Nets
• Verification of scenarios in Petri nets using compact tokenflows

Cited in

(3)

• scientific article; zbMATH DE number 522857 (Why is no real title available?)
• Faster verification of partially ordered runs in Petri nets using compact tokenflows
• Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets

Describes a project that uses

Uses Software

• VipTool

This page was built for publication: Firing partial orders in a Petri net

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117188)