The following pages link to (Q2766547):
Displaying 5 items.
- Concurrency and hardware design. Advances in Petri nets (Q1868003) (← links)
- Timed Petri nets with reset for pipelined synchronous circuit design (Q2117152) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- (Q3056168) (← links)
- Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets (Q6535197) (← links)