Adaptive time warp simulation of timed Petri nets
β Scribed by Ferscha, A.
- Book ID
- 117872345
- Publisher
- IEEE
- Year
- 1999
- Tongue
- English
- Weight
- 604 KB
- Volume
- 25
- Category
- Article
- ISSN
- 0098-5589
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## TIMED PETRI NETS Petri nets were developed as an operational formalism for specifying untimed concurrent systems. They can show concurrent activities by depicting control and data flows in different parts of the modeled system. As an operational formalism, a Petri net gives a dynamic representa
Processes of timed Petri nets are represented by labelled partial orders with some extra features. These features re ect the execution times of processes and allow to combine processes sequentially and in parallel, which leads to some algebras. The processes can be represented either without specify