Pages that link to "Item:Q4571475"
From MaRDI portal
The following pages link to Deriving Petri nets from finite transition systems (Q4571475):
Displaying 16 items.
- Bounded choice-free Petri net synthesis: algorithmic issues (Q1789066) (← links)
- Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918) (← links)
- Synthesis of Petri nets with restricted place-environments: classical and parameterized (Q2117176) (← links)
- 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)
- A structural approach for the analysis of Petri Nets by reduced unfoldings (Q4633172) (← links)
- Discovering Object-centric Petri Nets (Q4988950) (← links)
- Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory (Q5025067) (← links)
- Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues (Q5044398) (← links)
- Automated Repair of Process Models Using Non-local Constraints (Q5100758) (← links)
- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach (Q5300879) (← links)
- On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets (Q6070613) (← links)
- Generation of synchronizing state machines from a transition system: a region-based approach (Q6100077) (← links)