{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:57:33Z","timestamp":1771703853505,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642212918","type":"print"},{"value":"9783642212925","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21292-5_8","type":"book-chapter","created":{"date-parts":[[2011,5,27]],"date-time":"2011-05-27T00:21:06Z","timestamp":1306455666000},"page":"136-156","source":"Crossref","is-referenced-by-count":5,"title":["Modular State Spaces for Prioritised Petri Nets"],"prefix":"10.1007","author":[{"given":"Charles","family":"Lakos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/3-540-63139-9_38","volume-title":"Application and Theory of Petri Nets 1997","author":"F. Bause","year":"1997","unstructured":"Bause, F.: Analysis of Petri nets with a dynamic priority method. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 215\u2013234. Springer, Heidelberg (1997)"},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1093\/comjnl\/43.3.224","volume":"43","author":"S. Christensen","year":"2000","unstructured":"Christensen, S., Petrucci, L.: Modular analysis of Petri nets. The Computer Journal\u00a043(3), 224\u2013242 (2000)","journal-title":"The Computer Journal"},{"key":"8_CR3","first-page":"185","volume-title":"Proc. 4th Int. Conf. on Application of Concurrency to System Design (ACSD 2004)","author":"C. Lakos","year":"2004","unstructured":"Lakos, C., Petrucci, L.: Modular analysis of systems composed of semiautonomous subsystems. In: Proc. 4th Int. Conf. on Application of Concurrency to System Design (ACSD 2004), Hamilton, Canada, pp. 185\u2013194. IEEE Comp. Soc. Press, Los Alamitos (2004)"},{"issue":"3-4","key":"8_CR4","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/s10009-007-0033-2","volume":"9","author":"C. Lakos","year":"2007","unstructured":"Lakos, C., Petrucci, L.: Modular state space exploration for timed Petri nets. Journal of Software Tools for Technology Transfer\u00a09(3-4), 393\u2013411 (2007)","journal-title":"Journal of Software Tools for Technology Transfer"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-44919-1_15","volume-title":"Applications and Theory of Petri Nets 2003","author":"M. M\u00e4kel\u00e4","year":"2003","unstructured":"M\u00e4kel\u00e4, M.: Model Checking Safety Properties in Modular High-Level Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 201\u2013220. Springer, Heidelberg (2003)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BFb0097774","volume-title":"Application of Petri Nets to Communication Networks","author":"A.B. Mnaouer","year":"1999","unstructured":"Mnaouer, A.B., Sekiguchi, T., Fujii, Y., Ito, T., Tanaka, H.: Colored Petri nets based modeling and simulation of the static and dynamic allocation policies of the asynchronous bandwidth in the fieldbus protocol. In: Billington, J., D\u00edaz, M., Rozenberg, G. (eds.) APN 1999. LNCS, vol.\u00a01605, pp. 93\u2013130. Springer, Heidelberg (1999)"},{"key":"8_CR7","first-page":"5","volume":"68","author":"L. Petrucci","year":"2005","unstructured":"Petrucci, L.: Cover picture story: Experiments with modular state spaces. Petri Net Newsletter\u00a068, Cover page and 5\u201310 (2005)","journal-title":"Petri Net Newsletter"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/CSD.2003.1207703","volume-title":"Proc. 3rd Int. Conf. on Application of Concurrency to System Design (ACSD 2003)","author":"L. Petrucci","year":"2003","unstructured":"Petrucci, L., Kristensen, L.M., Billington, J., Qureshi, Z.H.: Developing a formal specification for the mission system of a maritime surveillance aircraft. In: Proc. 3rd Int. Conf. on Application of Concurrency to System Design (ACSD 2003), Guimar\u00e3es, Portugal, pp. 92\u2013101. IEEE Comp. Soc. Press, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21292-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T18:43:44Z","timestamp":1553712224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21292-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642212918","9783642212925"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21292-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}