{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:26:32Z","timestamp":1760549192241},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600299"},{"type":"electronic","value":"9783540494089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:31:31Z","timestamp":1330259491000},"page":"392-411","source":"Crossref","is-referenced-by-count":5,"title":["Parameterized reachability trees for algebraic Petri nets"],"prefix":"10.1007","author":[{"given":"Karsten","family":"Schmidt","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr. Fundamentals of Algebraic Specifications, vol. 1 of EATCS Monographs on Theoretical Computer Science 6. Springer, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"23_CR2","first-page":"207","volume":"254","author":"H. Genrich","year":"1987","unstructured":"H. Genrich. Predicate\/Transition Nets, LNCS 254, pages 207\u2013247, 1987.","journal-title":"LNCS"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Huber, A. Jensen, Jepsen, K. Jensen. Towards Reachability Trees for High-level Petri Nets. In Advances in Petri Nets 1984, LNCS 188, pp. 215\u2013233.","DOI":"10.1007\/3-540-15204-0_13"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"K. Jensen. Coloured Petri Nets and the Invariant-Method. Theoretical Computer Science, 14:317\u2013336, 1981.","journal-title":"Theoretical Computer Science"},{"key":"23_CR5","unstructured":"M. Lindqvist. Parameterized Reachability Trees for Predicate\/Transition Nets. Acta Polytechnica Scandinavica, Ma 54, 1989."},{"key":"23_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"W. Reisig. Petri Nets and Algebraic Specifications. Theoretical Computer Science, 80:1\u201334, 1991.","journal-title":"Theoretical Computer Science"},{"key":"23_CR7","first-page":"25","volume":"40","author":"K. Schmidt","year":"1991","unstructured":"K. Schmidt, P. Starke. An Algorithm to Compute the Symmetries of Petri Nets. Petri Net Newsletter, 40:25\u201330, 1991.","journal-title":"Petri Net Newsletter"},{"key":"23_CR8","first-page":"9","volume":"43","author":"K. Schmidt","year":"1993","unstructured":"K. Schmidt. Symmetries of Petri Nets. Petri Net Newsletter, 43:9\u201325, 1993.","journal-title":"Petri Net Newsletter"},{"key":"23_CR9","first-page":"294","volume":"8","author":"P.H. Starke","year":"1991","unstructured":"P.H. Starke. Reachability Analysis of Petri Nets Using Symmetries. J. Syst. Anal. Model. Simul., 8:294\u2013303, 1991.","journal-title":"J. Syst. Anal. Model. Simul."},{"key":"23_CR10","first-page":"511","volume":"815","author":"M. Tiusanen","year":"1994","unstructured":"Tiusanen, M. Symbolic, Symmetry, and Stubborn Set Searches. In Proc. of the 15th Int. Conf. on Application and Theory of Petri Nets 1994, LNCS 815, pages 511\u2013530, 1994.","journal-title":"LNCS"},{"key":"23_CR11","unstructured":"Valmari, A. Stubborn Sets of Coloured Petri Nets. In Proc. of the 12th Int. Conf. on Application and Theory of Petri Nets 1991, pages 102\u2013121, 1991."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:19:41Z","timestamp":1640924381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}