Pages that link to "Item:Q1902302"
From MaRDI portal
The following pages link to A compositional dataflow semantics for Petri nets (Q1902302):
Displaying 12 items.
- A Petri nets semantics for data flow networks (Q1894678) (← links)
- Semantics of multiway dataflow constraint systems (Q2043794) (← links)
- The ins and outs of Petri net composition (Q2165242) (← links)
- Operational semantics for Petri net components (Q2373704) (← links)
- (Q3814772) (← links)
- (Q4536357) (← links)
- (Q4727439) (← links)
- Dataflow semantics for Petri nets (Q5096839) (← links)
- (Q5486055) (← links)
- Formal Methods in Software and Systems Modeling (Q5710420) (← links)
- A compositional partial order semantics for Petri net components (Q6487378) (← links)
- A Compositional Petri Net Semantics for SDL (Q6487390) (← links)