Pages that link to "Item:Q1336048"
From MaRDI portal
The following pages link to Reduction and synthesis of live and bounded free choice Petri nets (Q1336048):
Displaying 12 items.
- Structure and behavior preservation by Petri-net-based refinements in system design (Q703482) (← links)
- Deciding branching time properties for asynchronous programs (Q732003) (← links)
- Reduction rules for reset/inhibitor nets (Q847264) (← links)
- A reduced maximality labeled transition system generation for recursive Petri nets (Q903505) (← links)
- Reachability in live and safe free-choice Petri nets is NP-complete (Q1129263) (← links)
- Property-preserving subnet reductions for designing manufacturing systems with shared resources (Q1770402) (← links)
- On liveness and boundedness of asymmetric choice nets (Q1884933) (← links)
- Reduction rules for time Petri nets (Q1924994) (← links)
- Synthesis and Analysis of Product-Form Petri Nets (Q3011895) (← links)
- Computer-based reduction technique for Petri nets (Q3489470) (← links)
- Computing Petri net languages by reductions (Q5055897) (← links)
- Liveness and boundedness analysis of Petri net synthesis (Q5740394) (← links)