Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language

DOI10.1007/978-3-642-04856-2_9zbMath1266.68136OpenAlexW1679532520MaRDI QIDQ3651243

Jörg Desel, Sebastian Mauser, Robin Bergenthum

Publication date: 9 December 2009

Published in: Transactions on Petri Nets and Other Models of Concurrency III (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04856-2_9

zbMATH Keywords

Petri netsynthesis algorithmregion theorypartial order behavior

Mathematics Subject Classification ID

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

Related Items (2)

Partial Order Semantics of Types of Nets ⋮ Construction of Process Models from Example Runs

Uses Software

• VipTool

This page was built for publication: Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language