The following pages link to (Q2766559):
Displaying 6 items.
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- Petri net modules in the transformation-based component framework (Q2369035) (← links)
- Process algebras for Petri nets. The alphabetization of distributed systems (Q2406167) (← links)
- (Q3601872) (← links)
- (Q4421723) (← links)
- Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra (Q4923515) (← links)