Pages that link to "Item:Q1865844"
From MaRDI portal
The following pages link to The practitioner's guide to coloured Petri nets. (Q1865844):
Displaying 24 items.
- Computational challenges in systems biology (Q458470) (← links)
- Colored Petri nets and the matrix approach (Q583902) (← 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)
- The set of models of computer-aided system engineering (case-technology) (Q1287515) (← links)
- Implementing coloured Petri nets using a functional programming language (Q1768480) (← links)
- Switched LAN simulation by colored Petri nets (Q1826577) (← links)
- Analyzing the execution architecture of mobile phone software with colored Petri nets. (Q1865847) (← links)
- Analysing a missile simulator with coloured Petri nets. (Q1865848) (← links)
- Analysing superscalar processor architectures with coloured Petri nets (Q1865856) (← links)
- Specification and performance analysis of embedded systems with coloured Petri nets (Q1963360) (← links)
- Analyzing permutation capability of multistage interconnection networks with colored Petri nets (Q2509234) (← links)
- Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets (Q2766564) (← links)
- Charlie – An Extensible Petri Net Analysis Tool (Q2941151) (← links)
- SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper) (Q2941154) (← links)
- (Q4348471) (← links)
- Strategies for Modeling Complex Processes Using Colored Petri Nets (Q4924444) (← links)
- Lectures on Concurrency and Petri Nets (Q5712275) (← links)
- Lectures on Concurrency and Petri Nets (Q5712286) (← links)
- Lectures on Concurrency and Petri Nets (Q5712297) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712344) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712353) (← links)
- Web-based interfaces for simulation of coloured Petri net models (Q5953457) (← links)
- Petri Net Based Certification of Event-Driven Process Chains (Q6487397) (← links)
