{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:13:17Z","timestamp":1775013197621,"version":"3.50.1"},"reference-count":7,"publisher":"Pleiades Publishing Ltd","issue":"4","license":[{"start":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T00:00:00Z","timestamp":1277942400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T00:00:00Z","timestamp":1277942400000},"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":[[2010,7]]},"DOI":"10.1134\/s0361768810040018","type":"journal-article","created":{"date-parts":[[2010,9,3]],"date-time":"2010-09-03T06:25:25Z","timestamp":1283495125000},"page":"187-196","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Formalization of semantics of systems with unreliable agents by means of nets of active resources"],"prefix":"10.1134","volume":"36","author":[{"given":"V. A.","family":"Bashkin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2010,9,4]]},"reference":[{"key":"6071_CR1","unstructured":"Jensen, K., Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Springer: 1994."},{"key":"6071_CR2","volume-title":"Vlozhennye seti Petri: modelirovanie i analiz raspredelennykh system s ob\u201dektnoi strukturoi","author":"I.A. Lomazova","year":"2004","unstructured":"Lomazova, I.A., Vlozhennye seti Petri: modelirovanie i analiz raspredelennykh system s ob\u201dektnoi strukturoi (Nested Petri Nets: Modeling and Analysis of Distributed Systems with Object Structure), Moscow: Nauchnyi Mir, 2004."},{"key":"6071_CR3","doi-asserted-by":"crossref","unstructured":"Petri, C.A., \u201cForgotten Topics\u201d of Net Theory, Proc. of ATPN\u20191987, pp. 500\u2013514.","DOI":"10.1007\/3-540-17906-2_36"},{"key":"6071_CR4","unstructured":"Lautenbach, K., Duality of Marked Place\/Transition Nets, Research Report no. 18, Universit\u00e4t Koblenz-Landau, Institut f\u00fcr Informatik, 2003."},{"key":"6071_CR5","unstructured":"Kohler, M. and Rolke, H., Super-Dual Nets, Proc. of CS&P\u20192005, Warsaw University, 2005, pp. 271\u2013280."},{"key":"6071_CR6","volume-title":"Seti Petri","author":"V.E. Kotov","year":"1984","unstructured":"Kotov, V.E., Seti Petri (Petri Nets), Moscow: Nauka, 1984."},{"key":"6071_CR7","first-page":"245","volume":"72","author":"M. Kohler","year":"2006","unstructured":"Kohler, M. and Rolke, H., Properties of Super-Dual Nets, Fundamenta Informaticae, 2006, vol. 72, pp. 245\u2013254.","journal-title":"Fundamenta Informaticae"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810040018.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768810040018","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810040018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810040018.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:06:15Z","timestamp":1775009175000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768810040018"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":7,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["6071"],"URL":"https:\/\/doi.org\/10.1134\/s0361768810040018","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7]]},"assertion":[{"value":"21 April 2008","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 September 2010","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}