Fundamenta Informaticae > 2014 > Vol. 135, nr 4 > 467--482
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-2014-1135 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Abadi, M., Lamport, L.: An Old-Fashioned Recipe for Real Time, REX workshop on Real-Time: Theory in Practice, 600, Springer-Verlag, 1991.
-
[2] Berthomieu, B., Diaz, M.: Modeling and Verification of Time Dependent Systems Using Time Petri Nets, IEEE Trans. on Software Eng., 17(3), 1991, 259–273.
-
[3] Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool TINA - Construction of Abstract State Spaces for Petri Nets and Time Petri Nets, International Journal of Production Research, 42(14), 2004.