Towards Synthesis of Petri Nets from Scenarios
From MaRDI portal
Publication:3618710
DOI10.1007/11767589_17zbMath1217.68152OpenAlexW1599201870MaRDI QIDQ3618710
Publication date: 2 April 2009
Published in: Petri Nets and Other Models of Concurrency - ICATPN 2006 (Search for Journal in Brave)
Full work available at URL: https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-560868
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
Discovering workflow nets using integer linear programming ⋮ Identification of Petri nets from knowledge of their language ⋮ Aggregating Causal Runs into Workflow Nets ⋮ Unifying Petri Net Semantics with Token Flows ⋮ Hasse Diagram Generators and Petri Nets ⋮ Discovering Object-centric Petri Nets ⋮ Fault model identification and synthesis in Petri nets
This page was built for publication: Towards Synthesis of Petri Nets from Scenarios
