{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:16:35Z","timestamp":1742379395118},"publisher-location":"Berlin, Heidelberg","reference-count":3,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_67","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:43:10Z","timestamp":1330256590000},"page":"552-561","source":"Crossref","is-referenced-by-count":9,"title":["On net modeling of industrial size concurrent systems"],"prefix":"10.1007","author":[{"given":"Ludmila","family":"Cherkasova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vadim","family":"Kotov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomas","family":"Rokicki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"unstructured":"The Benchmark Handbook for Database and Transaction Processing Systems. Edited by Jim Gray, Morgan Kaufmann Publishers Inc., San Mateo, California, 1991.","key":"32_CR1"},{"doi-asserted-by":"crossref","unstructured":"Jensen K. Coloured Petri Nets: A High Level Language for System Design and Analysis. In Advances in Petri Nets 1990, Springer Verlag, LNCS, vol.483, 1991, pp. 342\u2013416.","key":"32_CR2","DOI":"10.1007\/3-540-53863-1_31"},{"doi-asserted-by":"crossref","unstructured":"Pinci V., Shapiro R.M. An Integrated Software Development Methodology Based on Hierarchical Colored Petri Nets. In High-Level Petri Nets, Springer Verlag, 1991, pp. 649\u2013666.","key":"32_CR3","DOI":"10.1007\/978-3-642-84524-6_26"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_67.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:24Z","timestamp":1605647184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}