Skip to main content
SpringerLink
Log in
Book cover

International Conference on Reliable Software Technologies

Ada-Europe 1999: Reliable Software Technologies — Ada-Europe’ 99 pp 158–169Cite as

Translating Time Petri Net Structures in Ada 95 Statements

  • Conference paper
  • First Online:

  • 335 Accesses

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

Abstract

The intention of this paper is to show how real-time systems modeled with time Petri nets can be implemented in Ada 95. To achieve this objective, we use models of the Ada 95 tasking statements. Using reduction rules the model of the statement is reduced in order to make it recognizeable in the net which models the systems. Thus, we can build a catalogue of the reduced models of the Ada 95 tasking statements so that they can be used in the translation of net structures into Ada programs.

★

This work has been partially supported by the CICYT (project TAP97-0992-CO2-01

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Merlin and D.J. Farber. Recoverability of communication protocols. IEEE transactions on Communication, 24(9), September 1976.

    Google Scholar 

  2. B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using time Petri nets. IEEE transactions on Software Engineering 17(3):259–273.

    Google Scholar 

  3. D. Mandrioli, R. Zicari, C. Ghezzi, and F. Tisato. Modeling the Ada task system by Petri nets. Computer Languates, 10(1):43–61, 1985.

    Article  Google Scholar 

  4. R.K. Gedela and S.M. Shatz. Modelling of advanced tasking in Ada-95: A Petri net perspective. In Proc. 2nd INt. Workshop on Software Engineering for Parallel and Distributed Systems, PSDE’97, Boston, USA, 1997.

    Google Scholar 

  5. U. Buy and S. Tu, T. Murata, and S. Duri. An application of Petri net reduction for Ada taska deadlock analysis. Proc. Int. Symp. on Software Testing and Analysis, pages 228–239, 1994.

    Google Scholar 

  6. S.M. Shatz, U. Buy, R. Devarapalli, and S.M. Shatz. Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada. IEEE Transactions on Parallel and Distrubuted Systems, 7(12):1307–1322, December 1996.

    Article  Google Scholar 

  7. S. Duri, U. Buy, R. Devarapalli, and S.M. Shatz. Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada. ACM Transaction on Software Engineering Methodology, 3(4):340–380, December 1994.

    Article  Google Scholar 

  8. W.M.P. van der Aaalst and M.A. Odijk. Analysis of railway stations by means of interval timed coloured Petri nets. Real-Time Systems, 9(3):241–263, November 1995.

    Article  Google Scholar 

  9. C. Gheri, D. Mandrioli, S. Morasca, and M. Pezze. A unified high-leve Petri net formalism for time-critical systems. IEEE transactions on Software Engineering, 17(2):160–171, February 1991.

    Article  Google Scholar 

  10. T. Murata, Petri nets: properties, analysis, and applications. Proceedings of the IEEE. 77(4). April 1989.

    Google Scholar 

  11. R.H. Sloan and U. Buy. Reduction rules for time Petri nets. Acata Informatica, 43687–706, 1996.

    Article  MathSciNet  Google Scholar 

  12. J.M. Colom, M. Silva, and J.L. Villaroel. On software implementation of Petri Nets and Colored petri Nets using high level concurrent languages. In Proc. of 7th European Workshop on Application and Theory of Petri nets, pages 207–241, Oxford, England, January 1986.

    Google Scholar 

  13. F. Kordon. Proposal for a Generic Prototyping Approach. In IEEE Symposium on Emerging Technologies and Factory Automation, Tokyo, Japan, number 94TH8000, pages 396–403. IEEE Comp Soc Press, 1994.

    Google Scholar 

  14. F. Bréant and J.F. Peyre. An improved massively parallel implementation of colored Petri nets specifications. In IFIP-WG 10.3 working conference on programming environments for massively parallel distributed systems, Ascona, Switzeland, 1994.

    Google Scholar 

  15. F.J. García, and J.L. Villaroel. Decentralized implementation of real-time systems using time Petri nets. application to mobile robot control. In D.F. García Nocetti, editor, Proc. of the 5th IFAC/IFIP Workshop, Algorithms and Architectures for Real Time Control 1998, pages 11–16. Pergamon, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpto. Matemáticas y Computac’on, Universidad de La Rioja, C/ Luis de Ulloa s.n., 26004, Logra∼, Spain

    F. J. García

  2. Dpto. de Informática e Ing. de Sistemas, CPS, Universidad de Zaragoza, C/ María de Luna 3, 50015, Zaragoza, Spain

    J. L. Villarroel

Authors
  1. F. J. García
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. L. Villarroel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Facultad de Ciencias, Universidad de Cantabria, Avda. de los Castros s/n, E-39005, Santander, Spain

    Michael González Harbour

  2. ETSI Telecommunicacion, Universidad Politécnica de Madrid, E-28040, Madrid, Spain

    Juan A. de la Puente

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

García, F.J., Villarroel, J.L. (1999). Translating Time Petri Net Structures in Ada 95 Statements. In: González Harbour, M., de la Puente, J.A. (eds) Reliable Software Technologies — Ada-Europe’ 99. Ada-Europe 1999. Lecture Notes in Computer Science, vol 1622. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48753-0_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-48753-0_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66093-4

  • Online ISBN: 978-3-540-48753-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation