History-Dependent Petri Nets

DOI10.1007/978-3-540-73094-1_12MaRDI QIDQ3612932zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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)