History-Dependent Petri Nets

DOI10.1007/978-3-540-73094-1_12zbMATH Open1226.68068OpenAlexW1907405691MaRDI QIDQ3612932FDOQ3612932

Authors: K. M. van Hee, Alexander Serebrenik, W. M. P. van der Aalst, Natalia Sidorova 

Publication date: 11 March 2009

Published in: Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)

Full work available at URL: https://research.tue.nl/nl/publications/3d2be767-347a-453c-b84c-fa253ae425f8

Recommendations

• Working with the past: integrating history in Petri nets
• Token history Petri nets
• History-dependent stochastic Petri nets
• Minimal transition systems for history-preserving bisimulation
• Discovering Petri nets from event logs

Mathematics Subject Classification ID

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

Cited In (4)

• Token history Petri nets
• History-dependent stochastic Petri nets
• Working with the past: integrating history in Petri nets
• On-the-fly auditing of business processes

This page was built for publication: History-Dependent Petri Nets

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