{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T15:13:30Z","timestamp":1726154010266},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660934"},{"type":"electronic","value":"9783540487531"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48753-0_14","type":"book-chapter","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T13:58:29Z","timestamp":1192024709000},"page":"158-169","source":"Crossref","is-referenced-by-count":1,"title":["Translating Time Petri Net Structures in Ada 95 Statements"],"prefix":"10.1007","author":[{"given":"F. J.","family":"Garc\u00eda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. L.","family":"Villarroel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,11]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"P. Merlin and D.J. Farber. Recoverability of communication protocols. IEEE transactions on Communication, 24(9), September 1976.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using time Petri nets. IEEE transactions on Software Engineering 17(3):259\u2013273.","DOI":"10.1109\/32.75415"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0096-0551(85)90010-4","volume":"101","author":"D. Mandrioli","year":"1985","unstructured":"D. Mandrioli, R. Zicari, C. Ghezzi, and F. Tisato. Modeling the Ada task system by Petri nets. Computer Languates, 10(1):43\u201361, 1985.","journal-title":"Computer Languates"},{"key":"14_CR4","unstructured":"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\u201997, Boston, USA, 1997."},{"key":"14_CR5","unstructured":"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\u2013239, 1994."},{"issue":"12","key":"14_CR6","doi-asserted-by":"publisher","first-page":"1307","DOI":"10.1109\/71.553301","volume":"7","author":"S.M. Shatz","year":"1996","unstructured":"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\u20131322, December 1996.","journal-title":"IEEE Transactions on Parallel and Distrubuted Systems"},{"issue":"4","key":"14_CR7","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/201024.201038","volume":"3","author":"S. Duri","year":"1994","unstructured":"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\u2013380, December 1994.","journal-title":"ACM Transaction on Software Engineering Methodology"},{"issue":"3","key":"14_CR8","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BF01088807","volume":"9","author":"W.M.P. Aaalst van der","year":"1995","unstructured":"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\u2013263, November 1995.","journal-title":"Real-Time Systems"},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/32.67597","volume":"17","author":"C. Gheri","year":"1991","unstructured":"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\u2013171, February 1991.","journal-title":"IEEE transactions on Software Engineering"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"T. Murata, Petri nets: properties, analysis, and applications. Proceedings of the IEEE. 77(4). April 1989.","DOI":"10.1109\/5.24143"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/s002360050066","volume":"43","author":"R.H. Sloan","year":"1996","unstructured":"R.H. Sloan and U. Buy. Reduction rules for time Petri nets. Acata Informatica, 43687\u2013706, 1996.","journal-title":"Acata Informatica"},{"key":"14_CR12","unstructured":"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\u2013241, Oxford, England, January 1986."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"F. Kordon. Proposal for a Generic Prototyping Approach. In IEEE Symposium on Emerging Technologies and Factory Automation, Tokyo, Japan, number 94TH8000, pages 396\u2013403. IEEE Comp Soc Press, 1994.","DOI":"10.1109\/ETFA.1994.401984"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"F. Br\u00e9ant 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.","DOI":"10.1007\/978-3-0348-8534-8_38"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"F.J. Garc\u00eda, and J.L. Villaroel. Decentralized implementation of real-time systems using time Petri nets. application to mobile robot control. In D.F. Garc\u00eda Nocetti, editor, Proc. of the 5th IFAC\/IFIP Workshop, Algorithms and Architectures for Real Time Control 1998, pages 11\u201316. Pergamon, 1998.","DOI":"10.1016\/S1474-6670(17)42126-4"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe\u2019 99"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48753-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T17:59:10Z","timestamp":1556906350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48753-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660934","9783540487531"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48753-0_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}