Skip to main content
SpringerLink
Log in

Extending the Petri Box Calculus with Time

  • Conference paper
  • First Online:
Applications and Theory of Petri Nets 2001 (ICATPN 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2075))

Included in the following conference series:

Abstract

PBC (Petri Box Calculus) is a process algebra where real parallelism of concurrent systems can be naturally expressed. One of its main features is the definition of a denotational semantics based on Petri nets, which emphasizes the structural aspects of the modelled systems. However, this formal model does not include temporal aspects of processes, which are necessary when considering real-time systems. The aim of this paper is to extend the existing calculus with those temporal aspects. We consider that actions are not instantaneous, that is, their execution takes time. We present an operational semantics and a denotational semantics based on timed Petri nets. Finally, we discuss the introduction of other new features such as time-outs and delays. Throughout the paper we assume that the reader is familiar with both Petri nets and PBC.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Google Scholar 

  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.

    Google Scholar 

  3. M. Koutny and E. Best Operational and Denotational Semantics for the Box Algebra. Theoretical Computer Science 211, pp.1–83, 1999.

    Article  MATH  MathSciNet  Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

    Google Scholar 

  6. P. Merlin A Study of the Recoverability of Communication Protocols. PhD. Thesis, University of California, 1974.

    Google Scholar 

  7. F. Moller and C. Tofts A Temporal Calculus of CommunicatingSystems. CONCUR’90:Theories of Concurrency: Unification and Extension, LNCS vol.458, pp.401–415. Springer-Verlag, 1990.

    Chapter  Google Scholar 

  8. Y. Ortega Mallén En Busca del Tiempo Perdido. PhD. Thesis, Universidad Complutense de Madrid. 1990.

    Google Scholar 

  9. C. Ramchandani Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Technical Report 120. Project MAC. 1974.

    Google Scholar 

  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.

    Google Scholar 

  11. Wang Yi A Calculus of Real Time Systems. PhD. Thesis, Chalmers University of Technology, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, E-28040, Madrid, Spain

    Olga Marroquín Alonso & David Frutos de Escrig

Authors
  1. Olga Marroquín Alonso
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David Frutos de Escrig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática e Ingeniería de Sistemas Centro Politécnico Superior, Universidad de Zaragoza, María de Luna, 3, 50015, Zaragoza, Spain

    José-Manuel Colom

  2. Department of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK

    Maciej Koutny

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alonso, O.M., de Escrig, D.F. (2001). Extending the Petri Box Calculus with Time. In: Colom, JM., Koutny, M. (eds) Applications and Theory of Petri Nets 2001. ICATPN 2001. Lecture Notes in Computer Science, vol 2075. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45740-2_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-45740-2_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42252-5

  • Online ISBN: 978-3-540-45740-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation