Pages that link to "Item:Q4571475"
From MaRDI portal
The following pages link to Deriving Petri nets from finite transition systems (Q4571475):
Displayed 6 items.
- Fault model identification and synthesis in Petri nets (Q2348378) (← links)
- Real time identification of discrete event systems using Petri nets (Q2440714) (← links)
- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets (Q3510859) (← links)
- Process Discovery Using Integer Linear Programming (Q3510879) (← links)
- Discovery, Verification and Conformance of Workflows with Cancellation (Q3540385) (← links)
- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach (Q5300879) (← links)