Pages that link to "Item:Q1882929"
From MaRDI portal
The following pages link to The synthesis of Petri nets from path-automatic specifications (Q1882929):
Displaying 13 items.
- The synthesis problem of Petri nets (Q1901703) (← links)
- Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues (Q2165238) (← links)
- Identification of Petri nets from knowledge of their language (Q2465425) (← links)
- Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems (Q3297771) (← links)
- Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages (Q3400552) (← links)
- Partial Order Semantics of Types of Nets (Q3599087) (← links)
- Towards Synthesis of Petri Nets from Scenarios (Q3618710) (← links)
- (Q4782071) (← links)
- Stratified petri nets (Q5055926) (← links)
- Liveness and boundedness analysis of Petri net synthesis (Q5740394) (← links)
- Synthesis of Nets with Step Firing Policies (Q5900140) (← links)
- Hasse Diagram Generators and Petri Nets (Q5902129) (← links)
- On the Petri net realization of context-free graphs (Q5941208) (← links)