The following pages link to Petri Net Distributability (Q3457969):
Displaying 14 items.
- Bounded choice-free Petri net synthesis: algorithmic issues (Q1789066) (← links)
- A two-player asynchronous game on fully observable Petri nets (Q2032842) (← links)
- Edge, event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable (Q2117174) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- Synthesis and reengineering of persistent systems (Q2257983) (← links)
- The Power of Prime Cycles (Q2822651) (← links)
- Petri Net Synthesis for Restricted Classes of Nets (Q2822652) (← links)
- On Distributability of Petri Nets (Q2892781) (← links)
- On the Reversibility of Live Equal-Conflict Petri Nets (Q2941153) (← links)
- (Q3384918) (← links)
- Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account (Q5100747) (← links)
- k-Bounded Petri Net Synthesis from Modal Transition Systems. (Q5111618) (← links)
- Synthesis of Persistent Systems (Q5166759) (← links)
- On the Reversibility of Well-Behaved Weighted Choice-Free Systems (Q5166772) (← links)