The following pages link to Mobile Petri nets (Q3655764):
Displaying 9 items.
- Dynamic connectors for concurrency (Q1603689) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Higher-order nets for mobile policies (Q2848078) (← links)
- A Petri net semantics of a simple process algebra for mobility (Q2852064) (← links)
- On the expressiveness of mobile synchronizing Petri nets (Q2864393) (← links)
- Coding mobile synchronizing Petri nets into rewriting logic (Q2864520) (← links)
- (Q4553276) (← links)
- (Q5207054) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479155) (← links)