DMCA
Dealing With Zero-Time Transitions in Axiom Systems (1999)
| Venue: | INFCTRL: Information and Computation (formerly Information and Control |
| Citations: | 4 - 1 self |
BibTeX
@INPROCEEDINGS{Gargantini99dealingwith,
author = {Angelo Gargantini and Dino Mandrioli and Dino M and Angelo Morzenti},
title = {Dealing With Zero-Time Transitions in Axiom Systems},
booktitle = {INFCTRL: Information and Computation (formerly Information and Control},
year = {1999},
pages = {15--0}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In the modelization of time-dependent systems it is often useful to use the abstraction of zero-time transitions, i.e., changes of system state that occur in a time that can be neglected with respect to the whole dynamics of system evolution. Such an abstraction, however, sometimes generates critical situations in the formal system analysis. This may lead to limitations or unnatural use of such formal analysis. In this paper we present an approach that keeps the intuitive appealing of the zero-time transition abstraction yet maintaining simplicity and generality in its use. The approach is based on considering zero-time transitions as occurring in an infinitesimal, yet non-null time. The adopted notation is borrowed from non-standard analysis. The approach is illustrated through Petri nets as a case of state machines and TRIO as a case of logic-based assertion language, but it can be easily applied to any formal system dealing with states, time, and transitions.
Keyphrases
zero-time transition axiom system critical situation system state petri net formal system analysis intuitive appealing non-null time non-standard analysis time-dependent system whole dynamic zero-time transition abstraction state machine formal analysis unnatural use adopted notation formal system system evolution logic-based assertion language
