𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Focusing qualitative simulation using temporal logic: theoretical foundations

✍ Scribed by Giorgio Brajnik; Daniel J. Clancy


Book ID
110380587
Publisher
Springer Netherlands
Year
1998
Tongue
English
Weight
260 KB
Volume
22
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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