{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:50:03Z","timestamp":1762458603858},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657033"},{"type":"electronic","value":"9783540490593"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49059-0_29","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T16:56:57Z","timestamp":1194973017000},"page":"420-434","source":"Crossref","is-referenced-by-count":6,"title":["Modular State Level Analysis of Distributed Systems Techniques and Tool Support"],"prefix":"10.1007","author":[{"given":"Peter","family":"Buchholz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Kemper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,3,12]]},"reference":[{"unstructured":"A. Arnold. Finite Transition systems. Prentice Hall, 1994.","key":"29_CR1"},{"issue":"2","key":"29_CR2","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1109\/71.127262","volume":"3","author":"G. Balbo","year":"1992","unstructured":"G. Balbo, S. C. Bruell, P. Chen, and G. Chiola. An example of modelling and evaluation of a concurrent program using coloured stochastic Petri nets: Lamport\u2019s fast mutual exclusion algorithm. IEEE Trans. on Parallel and Distributed Systems, 3(2):221\u2013240, 1992.","journal-title":"IEEE Trans. on Parallel and Distributed Systems"},{"key":"29_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/3-540-68061-6_32","volume-title":"Quant. Eval. of Comp. and Comm. Sys.","author":"F. Bause","year":"1998","unstructured":"F. Bause, P. Buchholz, and P. Kemper. A toolbox for functional and quantitative analysis of DEDS. In R. Pujanger, N. N. Savino, and B. Serra, editors, Quant. Eval. of Comp. and Comm. Sys., pp. 356\u2013359. Springer LNCS 1469, 1998."},{"key":"29_CR4","first-page":"9","volume":"49","author":"F. Bause","year":"1995","unstructured":"F. Bause, P. Kemper, and P. Kritzinger. Abstract Petri nets notation. Petri Net Newsletter, (49):9\u201327, 1995.","journal-title":"Petri Net Newsletter"},{"issue":"10","key":"29_CR5","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1007\/s002360050144","volume":"35","author":"E. Best","year":"1998","unstructured":"E. Best, W. Fraczak, R. P. Hopkins, H. Klaudel, and E. Pelz. M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages. Acta Informatica, 35(10):813\u2013857, 1998.","journal-title":"Acta Informatica"},{"key":"29_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-60029-9_39","volume-title":"ATPN\u201995","author":"P. Buchholz","year":"1995","unstructured":"P. Buchholz. A notion of equivalence for stochastic Petri nets. In G. De Michelis and M. Diaz, editors, ATPN\u201995, pp. 161\u2013180. Springer LNCS 935, 1995."},{"doi-asserted-by":"crossref","unstructured":"P. Buchholz. Hierarchical structuring of superposed GSPNs. In Proc. PNPM\u201997 pp. 81\u201390. IEEE CS-Press, 1997.","key":"29_CR7","DOI":"10.1109\/PNPM.1997.595539"},{"unstructured":"P. Buchholz and P. Kemper. Efficient computation and representation of large reachability sets for composed automata. Technical report, in preparation.","key":"29_CR8"},{"key":"29_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/BFb0022196","volume-title":"Proc. 9th Int. Conf. on Mod. Techn. and Tools for Comp. Perf. Eval.","author":"G. Ciardo","year":"1997","unstructured":"G. Ciardo and A. S. Miner. Storage alternatives for large structured state spaces. In R. Marie and B. Plateau, editors, Proc. 9th Int. Conf. on Mod. Techn. and Tools for Comp. Perf. Eval., pp. 44\u201357. Springer LNCS 1245, 1997."},{"issue":"1","key":"29_CR10","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: a semantics based tool for the verification of concurrent systems. ACM Trans. on Programming Languages and Systems, 15(1):36\u201372, 1993.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"29_CR11","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/TC.1981.1675863","volume":"30","author":"M. Davio","year":"1981","unstructured":"M. Davio. Kronecker products and shuffle algebra. IEEE Trans. on Computer, 30:116\u2013125, 1981.","journal-title":"IEEE Trans. on Computer"},{"key":"29_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/3-540-58152-9_15","volume-title":"APTN\u201994","author":"S. Donatelli","year":"1994","unstructured":"S. Donatelli. Superposed generalized stochastic Petri nets: definition and efficient solution. In R. Valette, editor, APTN\u201994, pp. 258\u2013277. Springer LNCS 815, 1994."},{"unstructured":"J. Billington (ed.). Petri net standard. Committee draft, ISO\/IEC JTC1\/SC7\/WG11, 1992.","key":"29_CR13"},{"doi-asserted-by":"crossref","unstructured":"C. Hoare. Communicating sequential processes. Prentice Hall, 1985.","key":"29_CR14","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"29_CR15","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P. C. Kanellakis","year":"1990","unstructured":"P. C. Kanellakis and S. A. Smolka. CCS expressions, finite state processes and three problems of equivalence. Information and Computation, 86:43\u201368, 1990.","journal-title":"Information and Computation"},{"issue":"9","key":"29_CR16","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/32.541433","volume":"22","author":"P. Kemper","year":"1996","unstructured":"P. Kemper. Numerical analysis of superposed GSPNs. IEEE Trans. on Software Engineering, 22(9):615\u2013628, 1996.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"29_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-61363-3_15","volume-title":"ATPN\u201996","author":"P. Kemper","year":"1996","unstructured":"P. Kemper. Reachability analysis based on structured representations. In J. Billington and W. Reisig, editors, ATPN\u201996, pp. 269\u2013288. Springer LNCS 1091, 1996."},{"unstructured":"E. Kindler and J. Desel. Der Traum von einem universellen Petrinetz-Werkzeug-der Petrinetz-Kern (in German). In Proc. 3rd Workhop on Algorithmen und Werkzeuge f\u00fcr Petrinetze, 1996.","key":"29_CR18"},{"issue":"1","key":"29_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/7351.7352","volume":"5","author":"L. Lamport","year":"1987","unstructured":"L. Lamport. A fast mutual exclusion algorithm. ACM Trans. on Computer Systems, 5(1):1\u201311, 1987.","journal-title":"ACM Trans. on Computer Systems"},{"unstructured":"R. Milner. Communication and concurrency. Prentice Hall, 1989.","key":"29_CR20"},{"issue":"6","key":"29_CR21","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"R. Paige and R. E. Tarjan. Three partitopn refinement algorithms. SIAM Journ. on Computing, 16(6):973\u2013989, 1987.","journal-title":"SIAM Journ. on Computing"},{"key":"29_CR22","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1145\/317786.317819","volume":"13","author":"B. Plateau","year":"1985","unstructured":"B. Plateau. On the stochastic structure of parallelism and synchronisation models for distributed algorithms. Performance Evaluation Review, 13:142\u2013154, 1985.","journal-title":"Performance Evaluation Review"},{"issue":"10","key":"29_CR23","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1109\/32.99196","volume":"17","author":"B. Plateau","year":"1991","unstructured":"B. Plateau and K. Atif. Stochastic automata networks for modeling parallel systems. IEEE Trans. on Software Engineering, 17(10):1093\u20131108, 1991.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"29_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-55610-9_180","volume-title":"Adv. in Petri Nets 1992","author":"L. Pomello","year":"1992","unstructured":"L. Pomello, G. Rozenberg, and C. Simone. A survey of equivalence relations for net based systems. In G. Rozenberg, editor, Adv. in Petri Nets 1992, pages 410\u2013472. Springer LNCS 609, 1992."},{"issue":"1\/2","key":"29_CR25","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B. Steffen","year":"1997","unstructured":"B. Steffen, T. Margaria, and V. Braun. The electronic tool integration platform: concepts and design. Int. Journ. on Softw. Tools for Technology Transfer, 1(1\/2):9\u201330, 1997.","journal-title":"Int. Journ. on Softw. Tools for Technology Transfer"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49059-0_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T07:00:02Z","timestamp":1556953202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657033","9783540490593"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}