{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:41:25Z","timestamp":1775054485976,"version":"3.50.1"},"reference-count":21,"publisher":"Pleiades Publishing Ltd","issue":"3","license":[{"start":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T00:00:00Z","timestamp":1430438400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T00:00:00Z","timestamp":1430438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1134\/s0361768815030020","type":"journal-article","created":{"date-parts":[[2015,5,28]],"date-time":"2015-05-28T09:40:22Z","timestamp":1432806022000},"page":"131-139","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Comparative trace semantics of time Petri nets"],"prefix":"10.1134","volume":"41","author":[{"given":"D. I.","family":"Bushin","sequence":"first","affiliation":[]},{"given":"I. B.","family":"Virbitskaite","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2015,5,29]]},"reference":[{"key":"6254_CR1","first-page":"3","volume-title":"Handbook of Process Algebras. Chapter \u201cThe Linear Time \u2014 Branching Time Spectrum I: The Semantics of Concrete, Sequential Processes,\u201d","author":"RJ van Glabbeek","year":"2001","unstructured":"van Glabbeek, R.J., Handbook of Process Algebras. Chapter \u201cThe Linear Time \u2014 Branching Time Spectrum I: The Semantics of Concrete, Sequential Processes,\u201d Elsevier, 2001, pp. 3\u201399."},{"key":"6254_CR2","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"RJ van Glabbeek","year":"2001","unstructured":"van Glabbeek, R.J. and Goltz, U., Refinement of actions and equivalence notions for concurrent systems, Acta Informatica, 2001, vol. 37, pp. 229\u2013327.","journal-title":"Acta Informatica"},{"key":"6254_CR3","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-55610-9_180","volume":"609","author":"L Pomello","year":"1992","unstructured":"Pomello, L., Rozenberg G., and Simone, C., A survey of equivalence notions for net based systems, Lecture Notes Comput. Sci., 1992, vol. 609, pp. 410\u2013472.","journal-title":"Lecture Notes Comput. Sci."},{"key":"6254_CR4","volume-title":"Equivalences for Behavioral Analysis of Concurrent and Distributed Computing Systems","author":"IV Tarasyuk","year":"2007","unstructured":"Tarasyuk, I.V., Equivalences for Behavioral Analysis of Concurrent and Distributed Computing Systems, Novosibirsk: Geo, 2007 (in Russian)."},{"issue":"1","key":"6254_CR5","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., and Winskel, G., Petri nets, event structures and domains, Part I, Theor. Comput. Sci., 1981, vol. 13, no. 1, pp. 85\u2013108.","journal-title":"Theor. Comput. Sci."},{"issue":"2\/3","key":"6254_CR6","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U Goltz","year":"1983","unstructured":"Goltz, U. and Reisig, W., The non-sequential behaviour of Petri nets, Information Control, 1983, vol. 57, no. 2\/3, pp. 125\u2013147.","journal-title":"Information Control"},{"issue":"6","key":"6254_CR7","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J Engelfriet","year":"1991","unstructured":"Engelfriet, J., Branching processes of Petri nets, Acta Informatica, 1991, vol. 28, no. 6, pp. 575\u2013591.","journal-title":"Acta Informatica"},{"issue":"1","key":"6254_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01783665","volume":"4","author":"M Nielsen","year":"1990","unstructured":"Nielsen, M., Rozenberg, G., and Thiagarajan, P.S., Behavioural notions for elementary net systems, Distributed Computing, 1990, vol. 4, no. 1, pp. 45\u201357.","journal-title":"Distributed Computing"},{"key":"6254_CR9","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0304-3975(95)00120-4","volume":"153","author":"PW Hoogers","year":"1996","unstructured":"Hoogers, P.W., Kleijn, H.C.M., and Thiagarajan, P.S., An event structure semantics for general Petri nets, Theor. Comput. Sci., 1996, vol. 153, pp. 129\u2013170.","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"6254_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.2001.3060","volume":"171","author":"P Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., and Montanari, U., Contextual Petri nets, asymmetric event structures, and processes, Information Computation, 2001, vol. 171, no. 1, pp. 1\u201349.","journal-title":"Information Computation"},{"key":"6254_CR11","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/j.tcs.2004.04.001","volume":"323","author":"P Baldan","year":"2004","unstructured":"Baldan, P., Busi, N., Corradini, A., and Pinna, G.M., Domain and event structure semantics for Petri nets with read and inhibitor arcs, Theor. Comput. Sci., 2004, vol. 323. pp. 129\u2013189.","journal-title":"Theor. Comput. Sci."},{"issue":"s.3\u20134","key":"6254_CR12","doi-asserted-by":"crossref","first-page":"331","DOI":"10.3233\/FUN-2008-873-404","volume":"87","author":"G Juhas","year":"2008","unstructured":"Juhas, G., Lorenz, R., and Mauser, S, Complete process semantics for inhibitor nets, Fundamenta Informaticae, 2008, vol. 87, nos. 3\u20134. pp. 331\u2013365.","journal-title":"Fundamenta Informaticae"},{"key":"6254_CR13","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/978-3-642-24541-1_22","volume":"6875","author":"J Kleijn","year":"2011","unstructured":"Kleijn, J. and Koutny, M., Causality in structured occurrence nets, Lecture Notes Comput. Sci., 2011, vol. 6875, pp. 283\u2013297.","journal-title":"Lecture Notes Comput. Sci."},{"issue":"13","key":"6254_CR14","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1016\/j.ipl.2011.03.013","volume":"111","author":"RJ van Glabbeek","year":"2011","unstructured":"van Glabbeek, R.J., Goltz, U., and Schicke, J.-W., Abstract processes of place\/transition systems, Information Processing Lett., 2011, vol. 111, no. 13, pp. 626\u2013633.","journal-title":"Information Processing Lett."},{"key":"6254_CR15","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-642-23217-6_4","volume":"6901","author":"RJ van Glabbeek","year":"2011","unstructured":"van Glabbeek, R.J., Goltz, U., and Schicke, J.-W., On causal semantics of Petri nets, Lecture Notes Comput. Sci., 2011, vol. 6901, pp. 43\u201359.","journal-title":"Lecture Notes Comput. Sci."},{"key":"6254_CR16","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1007\/3-540-60029-9_56","volume":"935","author":"V Valero","year":"1995","unstructured":"Valero, V., de Frutos, D., and Cuartero, F., Timed processes of timed Petri nets, Lecture Notes Comput. Sci., 1995, vol. 935, pp. 490\u2013509.","journal-title":"Lecture Notes Comput. Sci."},{"key":"6254_CR17","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/3-540-63139-9_34","volume":"1248","author":"T Aura","year":"1997","unstructured":"Aura, T. and Lilius, J., Time processes for time Petri nets, Lecture Notes Comput. Sci., 1997, vol. 1248, pp. 136\u2013155.","journal-title":"Lecture Notes Comput. Sci."},{"key":"6254_CR18","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/11603009_16","volume":"3829","author":"T Chatain","year":"2005","unstructured":"Chatain, T. and Jard, C., Time supervision of concurrent systems using symbolic unfoldings of time Petri nets, Lecture Notes Comput. Sci., 2005, vol. 3829, pp. 196\u2013210.","journal-title":"Lecture Notes Comput. Sci."},{"key":"6254_CR19","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-540-30080-9_2","volume":"3185","author":"E Bihler","year":"2004","unstructured":"Bihler, E. and Vogler, W., Timed Petri nets: efficiency of asynchronous systems, Lecture Notes Comput. Sci., 2004, vol. 3185, pp. 25\u201358.","journal-title":"Lecture Notes Comput. Sci."},{"key":"6254_CR20","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/3-540-65306-6_14","volume":"1491","author":"G Rozenburg","year":"1998","unstructured":"Rozenburg, G. and Engelfriet, J., Elementary net systems, Lecture Notes Comput. Sci., 1998, vol. 1491, pp. 12\u2013121.","journal-title":"Lecture Notes Comput. Sci."},{"key":"6254_CR21","first-page":"309","volume":"480","author":"J Winkowski","year":"1994","unstructured":"Winkowski J., Algebras of processes of timed Petri nets, Lecture Notes Comput. Sci., 1994, vol. 480. pp. 309\u2013321.","journal-title":"Lecture Notes Comput. Sci."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768815030020.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768815030020","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768815030020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768815030020.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:14:16Z","timestamp":1775009656000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768815030020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["6254"],"URL":"https:\/\/doi.org\/10.1134\/s0361768815030020","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,5]]},"assertion":[{"value":"1 December 2014","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 May 2015","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}