Extending the petri box calculus with time

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2075, Issue , 2001, Pages 303-322

  Alonso, Olga Marroquín ^a   de Frutos Escrig, David ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; INTERACTIVE COMPUTER SYSTEMS; PETRI NETS; SEMANTICS;

CONCURRENT SYSTEMS; DENOTATIONAL SEMANTICS; FORMAL MODEL; OPERATIONAL SEMANTICS; PROCESS ALGEBRAS; STRUCTURAL ASPECTS; TEMPORAL ASPECTS; TIMED PETRI NET;

REAL TIME SYSTEMS;

EID: 84947262015     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45740-2_18     Document Type: Conference Paper

References (11)

1. E. Best, R. Devillers and J. Hall The Petri Box Calculus: A New Causal Algebra with Multi-label Communication. Advances in Petri Nets 1992, LNCS vol.609, pp.21-69. Springer-Verlag, 1992.
2. E. Best and M. Koutny A Refined View of the Box Algebra. Petri Net Conference'95, LNCS vol.935, pp.1-20. Springer-Verlag, 1995.
3. M. Koutny and E. Best Operational and Denotational Semantics for the Box Algebra. Theoretical Computer Science 211, pp.1-83, 1999.
4. M. Koutny A Compositional Model of Time Petri Nets. Application and Theory of Petri Nets 2000, LNCS vol.1825, pp.303-322. Springer-Verlag, 2000.
5. O. Marroquín Alonso and D. Frutos Escrig. TPBC: Timed Petri Box Calculus. Technical Report, Dept. Sistemas Informáticos y Programación. UCM, 2000. In Spanish.
6. P. Merlin A Study of the Recoverability of Communication Protocols. PhD. Thesis, University of California, 1974.
7. F. Moller and C. Tofts A Temporal Calculus of Communicating Systems. CONCUR'90: Theories of Concurrency: Unification and Extension, LNCS vol.458, pp.401-415. Springer-Verlag, 1990.
8. Y. Ortega Mallén En Busca del Tiempo Perdido. PhD. Thesis, Universidad Complutense de Madrid. 1990.
9. C. Ramchandani Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Technical Report 120. Project MAC. 1974.
10. G.M. Reed and A.W. Roscoe Metric Spaces as Models for Real-time Concurrency. Mathematical Foundations of Programming, LNCS vol.298, pp.331-343. Springer Verlag, 1987.
11. Wang Yi A Calculus of Real Time Systems. PhD. Thesis, Chalmers University of Technology, 1991.