{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:38:24Z","timestamp":1693845504904},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1993,5,1]],"date-time":"1993-05-01T00:00:00Z","timestamp":736214400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1993,5]]},"DOI":"10.1007\/bf01088591","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T18:13:53Z","timestamp":1107540833000},"page":"249-271","source":"Crossref","is-referenced-by-count":36,"title":["Giving semantics to SA\/RT by means of high-level timed Petri nets"],"prefix":"10.1007","volume":"5","author":[{"given":"Ren\ufffd","family":"Elmstr\ufffdm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raino","family":"Lintulampi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\ufffd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"CR1","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B. and Diaz, M. 1991. Modeling and Verification of Time Dependent Systems Using Time Petri Nets.IEEE Transactions on Software Engineering, 17(3): 259?273.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR2","unstructured":"Elmstr\u00f8m, R., Lintulampi, R., and Pezz\u00e9, M. 1992. Automatic translation of SA\/RT to ER nets. Technical Report, IFAD, VTT and PDM."},{"key":"CR3","unstructured":"Felder, M., Ghezzi, C., and Pezz\u00e9, M. 1991. Task T24 report: HLTPN Kernel Model. Technical Report, Politechnico di Milano."},{"issue":"2\/3","key":"CR4","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/BF01088590","volume":"5","author":"M. Felder","year":"1993","unstructured":"Felder, M., Ghezzi, C., and Pezz\u00e9, M. 1993. High Level Timed Petri Nets as a Kernel for Executable Specifications.Real-Time Systems, 5(2\/3): 235?248.","journal-title":"Real-Time Systems"},{"key":"CR5","unstructured":"Ghezzi, C., Morasca, S., and Pezz\u00e9, M. 1993. Timing Analysis of Time Basic Nets. Submitted toJournal of Systems and Software."},{"issue":"2","key":"CR6","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1109\/32.67597","volume":"17","author":"C. Ghezzi","year":"1991","unstructured":"Ghezzi, C., Mandrioli, D., Morasca, S., and Pezz\u00e9, M. 1991. A Unified High-Level Petri Net Model for Time-Critical Systems.IEEE Transactions on Software Engineering, 17(2): 160?172.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR7","first-page":"192","volume-title":"Hierarchies in Coloured Petri Nets","author":"P. Huber","year":"1989","unstructured":"Huber, P., Jensen, K., and Shapiro, R. 1989. Hierarchies in Coloured Petri Nets.10th International Conference on Application and Theory of Petri Nets. Bonn, Germany, June 28?30, 1989, pp. 192?209, Germany: Springer-Verlag."},{"key":"CR8","unstructured":"Larsen, P.G. and Lassen, P.B. 1991. The IPTES Meta-IV Language. Technical Report, IFAD."},{"key":"CR9","series-title":"Technical Report","volume-title":"Definition for the executable Iptes SA\/RT","author":"R. Lintulampa","year":"1991","unstructured":"Lintulampa, R. 1991. Definition for the executable Iptes SA\/RT. Technical Report, Technical Research Centre of Finland, Computer Technology Laboratory, P.O. Box 201, SF-90571 Oulu, Finland."},{"key":"CR10","unstructured":"Pezz\u00e9, M., Morasca, S., Mandrioli, D., Ghezzi, C., and Felder, M. 1992. Task T34 report: representing time by means of high level time Petri nets. Technical Report, Politechnico di Milano."},{"key":"CR11","volume-title":"Structured Development for Real-Time Systems. Volumes 1?3","author":"P.T. Ward","year":"1985","unstructured":"Ward, P.T. and Mellor, S.J. 1985?1986.Structured Development for Real-Time Systems. Volumes 1?3, New York: Yourdon Press."},{"issue":"2","key":"CR12","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1986.6312936","volume":"12","author":"P.T. Ward","year":"1986","unstructured":"Ward, P.T. 1986. The Transformation Schema: An Extension of the Data Flow Diagram to Represent Control and Timing.IEEE Transactions on Software Engineering, SE-12(2): 198?210.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088591.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088591\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088591","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T05:56:03Z","timestamp":1556603763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088591"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":12,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1993,5]]}},"alternative-id":["BF01088591"],"URL":"https:\/\/doi.org\/10.1007\/bf01088591","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}