Pages that link to "Item:Q1865844"
From MaRDI portal
The following pages link to The practitioner's guide to coloured Petri nets. (Q1865844):
Displaying 5 items.
- Computational challenges in systems biology (Q458470) (← links)
- Modeling and verification of the SDL-specified communication protocols using high-level Petri nets (Q840067) (← links)
- Analysis of VME-bus communication protocol -- RTCP-net approach (Q862530) (← links)
- Analyzing permutation capability of multistage interconnection networks with colored Petri nets (Q2509234) (← links)
- SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper) (Q2941154) (← links)
