Qualitative simulation of temporal concu
β
Vadim Bulitko; David C. Wilkins
π
Article
π
2003
π
Elsevier Science
π
English
β 820 KB
This paper presents a formalism called Time Interval Petri Nets (TIPNs), which are designed to support a qualitative simulation of temporal concurrent processes. One of the key features of TIPNs is a uniform use of time intervals throughout the model. This enables a natural and efficient representat