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 to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
P. Merlin and D.J. Farber. Recoverability of communication protocols. IEEE transactions on Communication, 24(9), September 1976.
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.
D. Mandrioli, R. Zicari, C. Ghezzi, and F. Tisato. Modeling the Ada task system by Petri nets. Computer Languates, 10(1):43–61, 1985.
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.
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.
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.
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.
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.
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.
T. Murata, Petri nets: properties, analysis, and applications. Proceedings of the IEEE. 77(4). April 1989.
R.H. Sloan and U. Buy. Reduction rules for time Petri nets. Acata Informatica, 43687–706, 1996.
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.
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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