{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:59:56Z","timestamp":1753887596276},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1991,5,1]],"date-time":"1991-05-01T00:00:00Z","timestamp":673056000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Real-Time Systems"],"published-print":{"date-parts":[[1991,5]]},"DOI":"10.1007\/bf00365334","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T13:02:21Z","timestamp":1099400541000},"page":"165-189","source":"Crossref","is-referenced-by-count":22,"title":["Timed high-level nets"],"prefix":"10.1007","volume":"3","author":[{"given":"Sandro","family":"Morasca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Trubian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Alford, M.W., 1977. A Requirements Engineering Methodology for Real-Time Processing Requirements IEEE Transactions on Software Engineering, Vol. SE-3, n. 1.","DOI":"10.1109\/TSE.1977.233838"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Bruno, G., Marchetto, G. 1986. Process-Translatable Petri Nets for the Rapid Prototyping of Process Control Systems. IEEE Transactions on Software Engineering, Vol. SE-12, n. 2.","DOI":"10.1109\/TSE.1986.6312948"},{"key":"CR3","unstructured":"Coolahan, J.E. and Roussopoulos, N. 1983. Timing Requirements for Time Driven Systems. IEEE Transactions on Software Engineering, Vol. SE-9, n. 9."},{"key":"CR4","unstructured":"Finkel, A. 1982. About Monogenous Fifo Petri Nets. Proceedings of the 3rd European Workshop on Applications and Theory of Petri Nets. Varenna, Italy."},{"key":"CR5","series-title":"Lect. Notes Comp. Sci.","volume-title":"Predicate\/Transition Nets. Advances in Petri Nets","author":"H. Genrich","year":"1987","unstructured":"Genrich, H. 1987. Predicate\/Transition Nets. Advances in Petri Nets 1986, (W.Brauer, W.Reisig, G.Rozenberg Eds.), Lect. Notes Comp. Sci. 254, Berlin-Heidelberg-New York: Springer-Verlag."},{"key":"CR6","series-title":"Lect. Notes Comp. Sci.","volume-title":"The Analysis of Distributed Systems by Means of Predicate\/Transition Nets","author":"H. Genrich","year":"1979","unstructured":"Genrich, H. and Lautenbach, K. 1979. The Analysis of Distributed Systems by Means of Predicate\/Transition Nets. Lect. Notes Comp. Sci. 70, Berlin-Heidelberg-New York: Springer-Verlag."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Mandrioli, D., Morasca, S., and Pezze, M. 1989. A General Way to Put Time in Petri Nets. Proceedings of the 4th International Workshop on Software Specification and Design, Pittsburgh, PA, May 19?20 IEEE CS Press.","DOI":"10.1145\/75199.75210"},{"key":"CR8","series-title":"Lect. Notes Comp. Sci.","volume-title":"Colored Petri Nets. Advances in Petri Nets 1986","author":"K. Jensen","year":"1987","unstructured":"Jensen, K. 1987. Colored Petri Nets. Advances in Petri Nets 1986, (W.Brauer, W.Reisig, G.Rozerberg Eds). Lect. Notes Comp. Sci. 254, Berlin-Heidelberg-New York: Springer-Verlag."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Jensen, K. 1983. High-Level Petri Nets. Informatik-Fachberichte Bd. 66.","DOI":"10.1007\/978-3-642-69028-0_12"},{"key":"CR10","unstructured":"Merlin, P.M. and Farber, D.J. 1976. Recoverability of Communication Protocols IEEE Transactions on Communications, vol. COMM-24."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Ramamoorthy, C.V. and Ho, G.S. 1980. Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets. IEEE Transactions on Software Engineering, vol. SE-6.","DOI":"10.1109\/TSE.1980.230492"},{"key":"CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets. An Advanced Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W. 1985. Petri Nets. An Advanced Introduction. Berlin-Heidelberg-New York: Springer-Verlag."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Starke, P.H. 1987. On the Mutual Simulability of Different Types of Petri Nets. Advances in Petri Nets, (K. Voss, H.J. Genrich, G. Rozenberg Eds). Concurrency and Nets.","DOI":"10.1007\/978-3-642-72822-8_30"},{"key":"CR14","volume-title":"Numerical Petri Nets. A Guide","author":"M. Wilbur-Ham","year":"1987","unstructured":"Wilbur-Ham, M. 1987. Numerical Petri Nets. A Guide, Telecom, Australia, Research Laboratories."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00365334.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00365334\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00365334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T17:47:41Z","timestamp":1585936061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00365334"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,5]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,5]]}},"alternative-id":["BF00365334"],"URL":"https:\/\/doi.org\/10.1007\/bf00365334","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,5]]}}}