{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:27:31Z","timestamp":1775017651273,"version":"3.50.1"},"reference-count":14,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"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":[[2021,9]]},"DOI":"10.1134\/s0361768821050078","type":"journal-article","created":{"date-parts":[[2021,9,15]],"date-time":"2021-09-15T10:03:18Z","timestamp":1631700198000},"page":"389-401","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["\u2018True Concurrency\u2019 Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies"],"prefix":"10.1134","volume":"47","author":[{"given":"I. B.","family":"Virbitskaite","sequence":"first","affiliation":[]},{"given":"A. Yu.","family":"Zubarev","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2021,9,15]]},"reference":[{"key":"3606_CR1","doi-asserted-by":"crossref","unstructured":"Boyer, M. and Roux, O.H., Comparison of the expressiveness of arc, place and transition time Petri nets, Proc. Int. Conf. Application and Theory of Petri Nets, 2007, pp. 63\u201382.","DOI":"10.1007\/978-3-540-73094-1_7"},{"key":"3606_CR2","unstructured":"Ramchandani, C., Analysis of asynchronous concurrent systems by timed Petri nets, PhD (Dept. Electrical Engineering) Thesis, Cambridge: MIT, 1974."},{"key":"3606_CR3","doi-asserted-by":"crossref","unstructured":"Merlin, P. and Faber, D.J., Recoverability of communication protocols, IEEE Trans. Commun., 1976, vol.\u00a0COM-24, no. 9.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"3606_CR4","doi-asserted-by":"crossref","unstructured":"B\u00e9rard, B., Cassez, F., Haddad, S., Lime, D., and Roux, O.H., Comparison of the expressiveness of timed automata and time Petri nets, Proc. 3rd Int. Conf. Formal Modelling and Analysis of Timed Systems (FORMATS), 2005, pp. 211\u2013225.","DOI":"10.1007\/11603009_17"},{"key":"3606_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41115-1","volume-title":"Time Petri Nets","author":"L. Popova-Zeugmann","year":"2013","unstructured":"Popova-Zeugmann, L., Time Petri Nets, Springer, 2013, pp. 31\u2013137."},{"key":"3606_CR6","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"3","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B. and Diaz, M., Modeling and verification of time dependent systems using time Petri nets, IEEE Trans. Software Eng., 1991, vol. 3, no. 17, pp.\u00a0259\u2013273.","journal-title":"IEEE Trans. Software Eng."},{"key":"3606_CR7","doi-asserted-by":"crossref","unstructured":"Boucheneb, H., Lime, D., and Roux, O.H., On multi-enabledness in time Petri nets, Proc. 34th Int. Conf. PETRI NETS, 2013, pp. 130\u2013149.","DOI":"10.1007\/978-3-642-38697-8_8"},{"key":"3606_CR8","doi-asserted-by":"crossref","unstructured":"B\u00e9rard, B., Cassez, F., Haddad, S., Lime, D., and Roux, O.H., Comparison of different semantics for time Petri nets, Proc. Int. Symp. Automated Technology for Verification and Analysis, 2005, pp. 293\u2013307.","DOI":"10.1007\/11562948_23"},{"key":"3606_CR9","doi-asserted-by":"crossref","unstructured":"Reynier, P.A. and Sangnier, A., Weak time Petri nets strike back!, Proc. Int. Conf. Concurrency Theory, 2009, pp. 557\u2013571.","DOI":"10.1007\/978-3-642-04081-8_37"},{"key":"3606_CR10","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/S0304-3975(99)00114-0","volume":"243","author":"T. Aura","year":"2000","unstructured":"Aura, T. and Lilius, J., A causal semantics for time Petri nets, Theor. Comput. Sci., 2000, vol. 243, nos. 1\u20132, pp.\u00a0409\u2013447.","journal-title":"Theor. Comput. Sci."},{"key":"3606_CR11","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1134\/S0361768815030020","volume":"41","author":"D.I. Bushin","year":"2015","unstructured":"Bushin, D.I. and Virbitskaite, I.B., Comparative trace semantics of time Petri nets, Program. Comput. Software, 2015, vol. 41, pp. 131\u2013139.","journal-title":"Program. Comput. Software"},{"key":"3606_CR12","doi-asserted-by":"publisher","first-page":"401","DOI":"10.3233\/FI-2016-1454","volume":"149","author":"I. Virbitskaite","year":"2016","unstructured":"Virbitskaite, I., Bushin, D., and Best, E., True concurrent equivalences in time Petri nets, Fundamenta Informaticae, 2016, vol. 149, no. 4, pp. 401\u2013418.","journal-title":"Fundamenta Informaticae"},{"key":"3606_CR13","doi-asserted-by":"crossref","unstructured":"Chatain, T. and Jard, C., Back in time Petri nets, Proc. Int. Conf. Formal Modeling and Analysis of Timed Systems, 2013, pp. 91\u2013105.","DOI":"10.1007\/978-3-642-40229-6_7"},{"key":"3606_CR14","doi-asserted-by":"crossref","unstructured":"Virbitskaite, I.B. and Zubarev, A.Yu., Time causal processes in time Petri nets with weak semantics, Proc. Inst. Syst. Program. Russ. Acad. Sci., 2020, vol. 32, no. 4, pp.\u00a0\u00a0261\u2013284.","DOI":"10.15514\/ISPRAS-2020-32(4)-19"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768821050078.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768821050078","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768821050078.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:47:09Z","timestamp":1775011629000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768821050078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9]]},"references-count":14,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["3606"],"URL":"https:\/\/doi.org\/10.1134\/s0361768821050078","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9]]},"assertion":[{"value":"10 March 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 March 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 March 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 September 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}