{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:11Z","timestamp":1725664691009},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609735"},{"type":"electronic","value":"9783540497493"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60973-3_105","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:09:02Z","timestamp":1330272542000},"page":"518-537","source":"Crossref","is-referenced-by-count":4,"title":["An improved translation of SA\/RT specification model to high-level timed Petri nets"],"prefix":"10.1007","author":[{"given":"Lihua","family":"Shi","sequence":"first","affiliation":[]},{"given":"Patrick","family":"Nixon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"29_CR1","unstructured":"C. Bellettini, M. Felder, and M. Pezz\u00e9. A Tool for Analysing High-Level Timed Petri Nets. Technical Report IPTES-PDM-41-V2.0, Politecnico di Milano, 1993."},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"L. Bernardinello and F. De Cindio. A Survey of Basic Net Models and Modular Net Classes. In LNCS 609: Advances in Petri nets, pages 304\u2013351. 1992.","DOI":"10.1007\/3-540-55610-9_177"},{"key":"29_CR3","first-page":"1","volume":"483","author":"W. Brauer","year":"1990","unstructured":"Wilfried Brauer, Robert Gold, and Walter Vogler. A survey of behaviour and equivalence preserving refinements of Petri Nets. LNCS, 483:1\u201346, 1990.","journal-title":"LNCS"},{"issue":"2-3","key":"29_CR4","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF01088591","volume":"5","author":"R. Elmstr\u00f8m","year":"1993","unstructured":"R. Elmstr\u00f8m, R. Lintulampi, and M. Pezz\u00e9. Giving semantics to SA\/RT by means of high-level timed Petri nets. Real-Time Systems Journal, 5(2-3):249\u2013271, May 1993.","journal-title":"Real-Time Systems Journal"},{"key":"29_CR5","unstructured":"R. Elmstr\u00f8m, R. Lintulampi, and M. Pezz\u00e9. Automatic translation of SA\/RT to high-level timed Petri nets. Technical Report IPTES-PDM-17-V2.3, Jan 1994."},{"key":"29_CR6","unstructured":"M. Felder, C. Ghezzi, and M. Pezz\u00e9. Hierarchical Decomposition of High Level Timed Petri Nets. Technical Report IPTES-PDM-54-V2.0, Politecnico di Milano, Dec 1993."},{"issue":"2","key":"29_CR7","first-page":"160","volume":"17","author":"C. Ghezzi","year":"1991","unstructured":"C. Ghezzi, D. Mandrioli, S. Marasca, and M. Pezz\u00e9. A unified high-level Petri net formalism for time-critical systems. IEEE SE, 17(2):160\u2013172, Feb. 1991.","journal-title":"IEEE SE"},{"issue":"4","key":"29_CR8","first-page":"403","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, and M. Trachtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE SE, 16(4):403\u2013414, Apr. 1990.","journal-title":"IEEE SE"},{"key":"29_CR9","volume-title":"Strategies for Real Time Specifications","author":"D. J. Hatley","year":"1987","unstructured":"D. J. Hatley and I. A. Pirbhai. Strategies for Real Time Specifications. New York, Dorset House, 1987."},{"key":"29_CR10","first-page":"313","volume":"483","author":"P. Huber","year":"1990","unstructured":"P. Huber, K. Jensen, and R. M. Shapiro. Hierarchies in coloured Petri nets. LNCS, 483:313\u2013341, 1990.","journal-title":"LNCS"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"J. S. Ostroff. Formal methods for the specification and design of real-time safety critical systems. The journal of Systems and Software, pages 33\u201360, April 1992.","DOI":"10.1016\/0164-1212(92)90045-L"},{"key":"29_CR12","volume-title":"Technical report","author":"J. Peleska","year":"1993","unstructured":"J. Peleska, C. Huizing, and C. Petersohn. A Comparison of Ward and Mellor's Transformation Schema with STATE-and ACTIVITYCHARTS. Technical report, Christian-Albrechts-Univerdity Kiel, 1993."},{"issue":"2","key":"29_CR13","first-page":"165","volume":"19","author":"G. Richter","year":"1993","unstructured":"Gernot Richter and Bruno Maffeo. Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language. IEEE-SE, 19(2):165\u2013180, Feb 1993.","journal-title":"IEEE-SE"},{"issue":"1","key":"29_CR14","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/43857.43866","volume":"13","author":"W. Rruyn","year":"1988","unstructured":"W. Rruyn, R. Jensen, D. Keskar, and P. Ward. ESML: An extended systems modeling language based on the data flow diagram. ACM SIGSOFT, Software Engineering Notes, 13(1):58\u201367, Jan. 1988.","journal-title":"ACM SIGSOFT, Software Engineering Notes"},{"key":"29_CR15","unstructured":"J. Rushby. Formal Methods and the Certification of Critical Systems. Technical report, ACAA, Dec. 1993."},{"key":"29_CR16","unstructured":"L. Shi. Uniting formal and structured design methods for real-time systems. Transfer report, Department of Computing, Manchester Metropolitan University, 1995."},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"W. M. P. van der Aalst. Interval Timed Coloured Petri Nets and their Analysis. In LNCS 691: Application and Theory of Petri nets, pages 453\u2013472. 1993.","DOI":"10.1007\/3-540-56863-8_61"},{"key":"29_CR18","volume-title":"Structured Development for Real-Time Systems, volume 1\u20133","author":"P. Ward","year":"1985","unstructured":"P. Ward and S. Mellor. Structured Development for Real-Time Systems, volume 1\u20133. New Jersey: Prence Hall, 1985."},{"issue":"2","key":"29_CR19","first-page":"198","volume":"12","author":"Paul T. T. Ward","year":"1986","unstructured":"Paul T. Ward. The transformation schema: an extension of the data flow diagram to represent control and timing. IEEE SE, 12(2): 198\u2013210, Feb 1986.","journal-title":"IEEE SE"},{"key":"29_CR20","doi-asserted-by":"crossref","unstructured":"D. P. Wood and W. G. Wood. Comparative Evaluations of Specification Methods for Real-Time Systems. Technical report, SEI, CMU, Dec 1989.","DOI":"10.21236\/ADA219187"}],"container-title":["Lecture Notes in Computer Science","FME'96: Industrial Benefit and Advances in Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60973-3_105.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:03:09Z","timestamp":1605628989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60973-3_105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609735","9783540497493"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-60973-3_105","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}