{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:36Z","timestamp":1751983656758},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422525"},{"type":"electronic","value":"9783540457404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_21","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T10:30:51Z","timestamp":1195122651000},"page":"363-381","source":"Crossref","is-referenced-by-count":2,"title":["Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time"],"prefix":"10.1007","author":[{"given":"L. Jason","family":"Steggles","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"21_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/3-540-63139-9_34","volume-title":"18th Int. Conf. on App. and Theory of Petri Nets","author":"T. Aura","year":"1997","unstructured":"T. Aura and J. Lilius. Time Processes for Time Petri Nets. In: 18th Int. Conf. on App. and Theory of Petri Nets, LNCS 1248, pages 136\u2013155, Springer-Verlag, 1997."},{"issue":"3","key":"21_CR2","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"B. Berthomieu and M. Diaz. Modeling and Verification of Time Dependent Systems using Time Petri Nets. IEEE Trans. on Software Engineering, 17(3):259\u2013273, 1991.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"21_CR3","series-title":"Lect Notes Comput Sci","first-page":"397","volume-title":"Proc. of TACAS\u201996: Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Best","year":"1996","unstructured":"E. Best and B. Grahlmann. PEP-more than a Petri Net Tool. In: T. Margaria and B. Steffen (eds), Proc. of TACAS\u201996: Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1055, pp. 397\u2013401, Springer-Verlag, 1996."},{"issue":"10","key":"21_CR4","first-page":"1303","volume":"15","author":"I. I. Bestuzheva","year":"1990","unstructured":"I. I. Bestuzheva and V. V. Rudnev. Timed Petri Nets: Classification and Comparative Analysis. Automation and Remote Control, 15(10):1303\u20131318, 1990.","journal-title":"Automation and Remote Control"},{"key":"21_CR5","unstructured":"P. Borovansk\u2019y. The Control of Rewriting: Study and Implementation of a Strategy Formalism. In: C. Kirchner and H. Kirchner (eds), Proceedings of WRLA\u2019 98, Electronic Notes in Theoretical Computer Science, Vol. 15, 1998."},{"key":"21_CR6","unstructured":"P. Borovansk\u00fdy, C. Kirchner, H. Kirchner, P.-E. Moreau and M. Vittek. ELAN: A Logical Framework Based on Computational Systems. In: J. Meseguer (ed), Proceedings of WRLA\u201996, Electronic Notes in Theoretical Computer Science, Vol. 4, 1996."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"P. Borovansk\u00fdy, C. Kirchner, H. Kirchner, P.-E. Moreau and C. Ringeissen. An overview of ELAN In: C. Kirchner and H. Kirchner (eds), Proceedings of WRLA\u2019 98, Electronic Notes in Theoretical Computer Science, Vol. 15, 1998.","DOI":"10.1016\/S1571-0661(05)82552-6"},{"key":"21_CR8","unstructured":"P. Borovansk\u00fdy, H. Cirstea, H. Dubois, C. Kirchner, H. Kirchner, P.-E. Moreau, C. Ringeissen and M. Vittek. ELAN:User Manual. December, 1998. Available from: http:\/\/elan.loria.fr ."},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Diaconescu, R., Futatsugi, K., Ishisone, M., Nakagawa, A. T. and Sawada, T. An Overview of CafeObj. In: C. Kirchner and H. Kirchner (eds), Proceedings of WRLA\u2019 98, Electronic Notes in Theoretical Computer Science, Vol. 15, 1998.","DOI":"10.1016\/S1571-0661(05)80017-9"},{"key":"21_CR10","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1-Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science 6. Springer-Verlag, Berlin, 1985."},{"key":"21_CR11","unstructured":"J. Loeckx, H-D. Ehrich and M. Wolf. Specification of Abstract Data Types. Wiley, 1996."},{"issue":"9","key":"21_CR12","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"P. Merlin and D. J. Faber. Recoverability of communication protocols. IEEE Transactions on Communications, COM-24(9):1036\u20131049, 1976.","journal-title":"IEEE Transactions on Communications"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96:73\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari. Petri nets are monoids. Information and Computation, 88:105\u2013155, 1990.","journal-title":"Information and Computation"},{"issue":"4","key":"21_CR15","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77(4):541\u2013580, 1989.","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"21_CR16","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J. L. Peterson","year":"1977","unstructured":"J. L. Peterson. Petri Nets. Computing Surveys, 9(3):223\u2013252, 1977.","journal-title":"Computing Surveys"},{"key":"21_CR17","series-title":"Project MAC Technical Report","volume-title":"Analysis of asynchronous concurrent systems by timed Petri nets","author":"C. Ramchandani","year":"1974","unstructured":"C. Ramchandani. Analysis of asynchronous concurrent systems by timed Petri nets. Project MAC Technical Report MAC-TR-120, Massachusetts Institute for Technology, Cambridge MA, 1974."},{"key":"21_CR18","unstructured":"W. Reisig. Petri nets-an introduction. EATCS Monographs in Theoretical Computer Science, 4, Springer-Verlag, 1985."},{"key":"21_CR19","volume-title":"Informatik-Bericht Nr.","author":"P. Starke","year":"1995","unstructured":"P. Starke. A Memo on Time Constraints in Petri Nets. Informatik-Bericht Nr. 46, Institut f\u00fcr Informatik, Humboldt Universit\u00e4t, Berlin, 1995."},{"key":"21_CR20","unstructured":"L. J. Steggles. Prototyping and Analysing Petri Nets with time: A Formal Investigation using Rewriting Logic and Elan. Technical Report No. 722, Department of Computing Science, University of Newcastle upon Tyne, 2001."},{"key":"21_CR21","unstructured":"B. Walter. Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics. In: H. Rudin and C. H. West (eds), Protocol Specification, Testing and Verification III, North-Holland, 1983."},{"issue":"4","key":"21_CR22","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1016\/0026-2714(91)90007-T","volume":"31","author":"W. M. Zuberek","year":"1991","unstructured":"W. M. Zuberek. Timed Petri Nets: Definitions, Properties and Applications. Microelectronics and Reliability, 31(4):627\u2013644, 1991.","journal-title":"Microelectronics and Reliability"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T09:17:17Z","timestamp":1556961437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}