The following pages link to On Distributability of Petri Nets (Q2892781):
Displaying 10 items.
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Associative composition of components with double-sided interfaces (Q1733102) (← links)
- Bounded choice-free Petri net synthesis: algorithmic issues (Q1789066) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- Synthesis and reengineering of persistent systems (Q2257983) (← links)
- The Power of Prime Cycles (Q2822651) (← links)
- Synchrony versus causality in distributed systems (Q2971080) (← links)
- (Q3384918) (← links)
- (Q4474226) (← links)
- Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account (Q5100747) (← links)