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