{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:13:27Z","timestamp":1759032807247},"reference-count":13,"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\/bf01088590","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T18:13:53Z","timestamp":1107540833000},"page":"235-248","source":"Crossref","is-referenced-by-count":25,"title":["High-Level Timed Petri Nets as a kernel for executable specifications"],"prefix":"10.1007","volume":"5","author":[{"given":"Miguel","family":"Felder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\ufffd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Felder, M., Mandrioli, D., and Morzenti, A. 1992. Proving properties of Real-Time Systems through logical specifications and Petri net models. Technical report 91-072, Politecnico di Milano. IPTES Doc.id : iptes-pdm-27-v1.0."},{"key":"CR2","volume-title":"Fundamentals of Software Engineering","author":"C. Ghezzi","year":"1991","unstructured":"Ghezzi, C., Jazayeri, M. and Mandrioli, D. 1991.Fundamentals of Software Engineering. Englewood Cliffs, NJ: Prentice-Hall International Editors."},{"key":"CR3","volume-title":"Advances in object-oriented software engineering","author":"C. Ghezzi","year":"1992","unstructured":"Ghezzi, C. and Mandrioli, D. 1992. On eclectic specification environments. In (D. Mandrioli and B. Meyer, eds.)Advances in object-oriented software engineering. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"CR4","doi-asserted-by":"crossref","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, vol. 17, (2).","DOI":"10.1109\/32.67597"},{"key":"CR5","unstructured":"Ghezzi, C., Morasca, S. and Pezz\u00e9, M. 1992. Timing analysis of Time Basic nets. Technical report, Politecnico di Milano (submitted for publication)."},{"key":"CR6","unstructured":"Information Processing Systems?Open Systems Interconnection?LOTOS?A Formal Description Technique Based on the Temporal Ordering of Observational Behavior. Technical report, International Standards Organization, 1989. ISO8807."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Merlin, P.M. and Farber, D.J. 1976. Recoverability of communication protocols?implications of a theoretical study.IEEE Transactions on Communications, vol. COM-24, (9).","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Murata, M. 1989. Petri nets: Properties, analysis and applications.Proceedings of the IEEE, 77, (4).","DOI":"10.1109\/5.24143"},{"key":"CR9","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L. 1981.Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Pezz\u00e9, M., Elmstr\u00f8m, R. and Lintulampi, R. 1993. Giving semantics to SA\/RT by means of high-level timed Petri nets.Real-Time Systems, 5 (2\/3).","DOI":"10.1007\/BF01088591"},{"key":"CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W. 1985.Petri Nets: An Introduction. Berlin\/New York: Springer-Verlag."},{"key":"CR12","doi-asserted-by":"crossref","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, 2, (12).","DOI":"10.1109\/TSE.1986.6312936"},{"key":"CR13","volume-title":"Structured Development for Real-Time Systems, volume 1?3","author":"P.T. Ward","year":"1985","unstructured":"Ward, P.T. and Mellor, S.J. 1985.Structured Development for Real-Time Systems, volume 1?3, New York: Yourdon Press."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088590.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088590\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T15:48:49Z","timestamp":1586101729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088590"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":13,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1993,5]]}},"alternative-id":["BF01088590"],"URL":"https:\/\/doi.org\/10.1007\/bf01088590","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}