The following pages link to (Q4764197):
Displayed 8 items.
- Timed Petri nets and prediction to improve the Chandy-Misra conservative-distributed simulation (Q1854984) (← links)
- Specification and performance analysis of embedded systems with coloured Petri nets (Q1963360) (← links)
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems (Q2944903) (← links)
- Modelling reconfigurable manufacturing systems with coloured timed Petri nets (Q3055348) (← links)
- Arc-typed Petri Nets (Q4633168) (← links)
- Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks (Q4988953) (← links)
- Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters (Q5179054) (← links)
- EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS (Q5484904) (← links)