Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets

DOI10.1007/978-3-031-33620-1_16MaRDI QIDQ6535197zbMATH OpenFDO

Authors Robin Bergenthum, Sabine Folz-Weinstein, Jakub Kovář

Publication date 16 November 2023

Full work available at URL https://doi.org/10.1007/978-3-031-33620-1_16

zbMATH Keywords

compact tokenflowsconcurrencyconflictlabeled netsmodeling behaviorPetri netssemanticstoken trails

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Unifying Petri Net Semantics with Token Flows
• A trace semantics for Petri Nets
• A trace semantics for Petri nets
• A partial trace semantics for Petri nets
• scientific article; zbMATH DE number 1361137

Cites work

• Applications and Theory of Petri Nets 2005
• Applications and Theory of Petri Nets 2005
• Discovering Petri nets from event logs
• Firing partial orders in a Petri net
• scientific article; zbMATH DE number 1696445 (Why is no real title available?)
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• 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 1302043 (Why is no real title available?)
• scientific article; zbMATH DE number 1973117 (Why is no real title available?)
• Modeling concurrency with partial orders
• Modular construction and partial order semantics of Petri nets
• Sequential and concurrent behaviour in Petri net theory
• Structure of concurrency
• Understanding Petri Nets
• Verification of scenarios in Petri nets using compact tokenflows

Cited in

(1)

• Unifying Petri Net Semantics with Token Flows

This page was built for publication: Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets

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