{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:50Z","timestamp":1775054390192,"version":"3.50.1"},"reference-count":20,"publisher":"Pleiades Publishing Ltd","issue":"4","license":[{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"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":[[2016,7]]},"DOI":"10.1134\/s0361768816040071","type":"journal-article","created":{"date-parts":[[2016,7,22]],"date-time":"2016-07-22T02:25:59Z","timestamp":1469154359000},"page":"187-197","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["\u201cTruly concurrent\u201d and nondeterministic semantics of discrete-time Petri nets"],"prefix":"10.1134","volume":"42","author":[{"given":"I. B.","family":"Virbitskaite","sequence":"first","affiliation":[]},{"given":"V. A.","family":"Borovlev","sequence":"additional","affiliation":[]},{"given":"L.","family":"Popova-Zeugmann","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2016,7,23]]},"reference":[{"issue":"1","key":"6305_CR1","first-page":"85","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":"event structures and domains, Part I, Theor. Comput. Sci."},{"issue":"6","key":"6305_CR2","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":"4","key":"6305_CR3","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1017\/S0960129597002314","volume":"7","author":"J. Meseguer","year":"1997","unstructured":"Meseguer, J., Montanari, U., and Sassone, V., On the semantics of place\/transition Petri nets, Math. Structures Comput. Sci., 1997, vol. 7, no. 4, pp. 359\u2013397.","journal-title":"Math. Structures Comput. Sci."},{"key":"6305_CR4","doi-asserted-by":"crossref","first-page":"31","DOI":"10.3233\/FI-2013-782","volume":"122","author":"J. Couvreur","year":"2013","unstructured":"Couvreur, J., Poitrenaud, D., and Weil, P., Branching processes of general Petri nets, Fundamenta Informaticae, 2013, vol. 122, pp. 31\u201358.","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"6305_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"K.I. McMillan","year":"1995","unstructured":"McMillan, K.I., A technique of a state space search based on unfolding, Formal Methods System Design, 1995, vol. 6, no. 1, pp. 45\u201365.","journal-title":"Formal Methods System Design"},{"key":"6305_CR6","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2012.04.046","volume":"449","author":"P. Baldan","year":"2012","unstructured":"Baldan, P., Bruni, A., Corradini, A., Koenig, B., Rodriguez, C., and Schwoon, S., Efficient unfolding of contextual Petri nets, Theor. Comput. Sci., 2012, vol. 449, pp. 2\u201322.","journal-title":"Theor. Comput. Sci."},{"issue":"3\u20134","key":"6305_CR7","doi-asserted-by":"crossref","first-page":"331","DOI":"10.3233\/FI-2009-134","volume":"94","author":"R. Bergenthum","year":"2009","unstructured":"Bergenthum, R., Mauser, R., Lorenz, S., and Juhas, G., Unfolding semantics of Petri nets based on token flows, Fundamenta Informaticae, 2009, vol. 94, nos 3\u20134, pp. 331\u2013360.","journal-title":"Fundamenta Informaticae"},{"key":"6305_CR8","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.tcs.2014.07.003","volume":"551","author":"B. Bonet","year":"2014","unstructured":"Bonet, B., Haslumb, P., Khomenko, V., Thiebauxb, S., and Vogler, W., Recent advances in unfolding technique, Theor. Comput. Sci., 2014, vol. 551, pp. 84\u2013101.","journal-title":"Theor. Comput. Sci."},{"key":"6305_CR9","doi-asserted-by":"crossref","unstructured":"Esparza, J., Model checking using net unfoldings, Sci. Comput. Program., vol. 23, nos. 2\u20133, pp. 151\u2013195.","DOI":"10.1016\/0167-6423(94)00019-0"},{"key":"6305_CR10","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-89287-8_11","volume":"5100","author":"B. Bonet","year":"2008","unstructured":"Bonet, B., Haslumb, P., Hickmott, S., and Thiebauxb, S., Directed unfolding of Petri nets, Lect. Notes Comp. Sci., vol. 5100, no. 2008, pp. 172\u2013198.","journal-title":"Lect. Notes Comp. Sci., vol."},{"key":"6305_CR11","first-page":"1904","volume-title":"Proc. of 20th Int. Joint Conf. on Artificial Intelligence","author":"S. Hickmott","year":"2007","unstructured":"Hickmott, S., Rintanen, J., Thiebaux, S., and White, L., Planning via Petri net unfolding, Proc. of 20th Int. Joint Conf. on Artificial Intelligence, 2007, pp. 1904\u20131911."},{"key":"6305_CR12","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/11690634_9","volume":"3921","author":"P. Baldan","year":"2006","unstructured":"Baldan, P., Haar, S., and Koenig, B., Distributed unfolding of Petri nets, Lect. Notes Comp. Sci., 2006, vol. 3921, pp. 126\u2013141.","journal-title":"Lect. Notes Comp. Sci."},{"issue":"5","key":"6305_CR13","doi-asserted-by":"publisher","first-page":"714","DOI":"10.1109\/TAC.2003.811249","volume":"48","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Fabre, E., Jard, C., and Haar, S., Diagnosis of asynchronous discrete event systems, a net unfolding approach, IEEE Trans. Automatic Control, 2003, vol. 48, no. 5, pp. 714\u2013727.","journal-title":"a net unfolding approach, IEEE Trans. Automatic Control"},{"key":"6305_CR14","doi-asserted-by":"publisher","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, Lect. Notes Comp. Sci., 2005, vol. 3829, pp. 196\u2013210.","journal-title":"Lect. Notes Comp. Sci."},{"key":"6305_CR15","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/3-540-44919-1_25","volume":"2679","author":"H. Fleischhack","year":"2003","unstructured":"Fleischhack, H. and Pelz, E., Hierarchical timed high level nets and their branching processes, Lect. Notes Comp. Sci., 2003, vol. 2679, pp. 397\u2013416.","journal-title":"Lect. Notes Comp. Sci."},{"key":"6305_CR16","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-48068-4_11","volume":"2360","author":"H. Fleischhack","year":"2002","unstructured":"Fleischhack, H. and Stehno, Ch., Computing a finite prefix of a time Petri net, Lect. Notes Comp. Sci., 2002, vol. 2360, pp. 163\u2013181.","journal-title":"Lect. Notes Comp. Sci."},{"key":"6305_CR17","doi-asserted-by":"publisher","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, Lect. Notes Comp. Sci., 1997, vol. 1248, pp. 136\u2013155.","journal-title":"Lect. Notes Comp. Sci."},{"key":"6305_CR18","doi-asserted-by":"publisher","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, Lect. Notes Comp. Sci., 1995, vol. 935, pp. 490\u2013509.","journal-title":"Lect. Notes Comp. Sci."},{"issue":"2","key":"6305_CR19","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s00236-003-0122-y","volume":"40","author":"V. Khomenko","year":"2003","unstructured":"Khomenko, V., Koutny, M., and Vogler, W., Canonical prefixes of Petri net unfoldings, Acta Informatica, 2003, vol. 40, no. 2, pp. 95\u2013118.","journal-title":"Acta Informatica"},{"key":"6305_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41115-1","volume-title":"Time and Petri nets","author":"L. Popova-Zeugmann","year":"2013","unstructured":"Popova-Zeugmann, L., Time and Petri nets, Berlin: Springer, 2013."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768816040071.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768816040071","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768816040071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768816040071.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:27:05Z","timestamp":1775010425000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768816040071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,7]]}},"alternative-id":["6305"],"URL":"https:\/\/doi.org\/10.1134\/s0361768816040071","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7]]},"assertion":[{"value":"14 March 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 July 2016","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}