{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:59Z","timestamp":1725664979743},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631392"},{"type":"electronic","value":"9783540691877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63139-9_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:07:39Z","timestamp":1330279659000},"page":"215-234","source":"Crossref","is-referenced-by-count":19,"title":["Analysis of Petri nets with a dynamic priority method"],"prefix":"10.1007","author":[{"given":"Falko","family":"Bause","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1007\/s002360050065","volume":"33","author":"F. Bause","year":"1996","unstructured":"F. Bause. On the Analysis of Petri Nets with Static Priorities. Acta Informatica, 33:669\u2013685, 1996.","journal-title":"Acta Informatica"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"F. Bause, P. Kritzinger. Stochastic Petri Nets \u2014 An Introduction to the Theory. Vieweg, Advanced Studies in Computer Science, 1996.","DOI":"10.1007\/978-3-663-11521-2"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0304-3975(92)90184-H","volume":"96","author":"E. Best","year":"1992","unstructured":"E. Best and M. Koutny. Petri net semantics of priority systems. Theoretical Computer Science, 96:175\u2013215, 1992.","journal-title":"Theoretical Computer Science"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF00289141","volume":"21","author":"E. Best","year":"1984","unstructured":"E. Best and K. Voss. Free choice systems have home states. Acta Informatica, 21:89\u2013100, 1984.","journal-title":"Acta Informatica"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"S. Caselli, G. Conte and P. Marenzoni. Parallel state space exploration for GSPN models. In Application and Theory of Petri Nets, LNCS 935, pages 181\u2013201, Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60029-9_40"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511526558"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"F. Feldbrugge. Petri Net Tool Overview 1992. in Advances in Petri Nets, Springer-Verlag, pages 169\u2013209, 1993.","DOI":"10.1007\/3-540-56689-9_44"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems. Ph.D. thesis, Univerite de Liege, 1995.","DOI":"10.1007\/3-540-60761-7"},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF00290705","volume":"24","author":"R. Janicki","year":"1987","unstructured":"R. Janicki. A formal semantics for concurrent systems with a priority relation. Acta Informatica, 24:33\u201355, 1987.","journal-title":"Acta Informatica"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"P. Kemper. Reachability analysis based on structured representations. 17th Int. Conf. Application and Theory of Petri nets, 1996.","DOI":"10.1007\/3-540-61363-3_15"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"M. Koutny. Modelling systems with dynamic priorities. Advances in Petri Nets, pages 251\u2013266, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55610-9_174"},{"key":"13_CR12","unstructured":"J.L. Peterson. Petri Net Theory and the Modelling of Systems. Prentice-Hall, 1981."},{"key":"13_CR13","unstructured":"K. Varpaaniemi, J. Halme, K. Hiekkanen and T. Pyssysalo. PROD reference manual. Technical Reports Series B, No 13, Helsinki University of Technology, Digital Systems Laboratory, 1995."},{"key":"13_CR14","unstructured":"M. Rauhamaa. A comparative study of methods for efficient reachability analysis. Helsinki Univerity of Technology, Digital Systems Lab., Report A14, Sept. 1990."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"E. Teruel, P. Chrzastowski-Wachtel, J.M. Colom and M. Silva. On Weighted T-Systems. In Proceedings of the 13th International Conference on Application and Theory of Petri Nets, Sheffield (UK), 1992.","DOI":"10.1007\/3-540-55676-1_20"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"E. Teruel and M. Silva. Liveness and home states in equal conflict systems. In Proceedings of the 14th International Conference on Application and Theory of Petri Nets, Chicago (USA), pages 415\u2013432, 1993.","DOI":"10.1007\/3-540-56863-8_59"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"M. Tiusanen. Symbolic, Symmetry, and Stubborn Set Searches In Proceedings of the 15th European Workshop on Application and Theory of Petri Nets, Zaragoza (Spain), pages 511\u2013530, 1994.","DOI":"10.1007\/3-540-58152-9_28"},{"key":"13_CR18","unstructured":"A. Valmari. Error Detection by Reduced Reachability Graph Generation. In Proceedings of the 9th European Workshop on Application and Theory of Petri Nets, Venice (Italy), pages 95\u2013112, 1988."},{"key":"13_CR19","unstructured":"A. Valmari. Stubborn sets for reduced state space generation. In Advances in Petri Nets, Springer-Verlag, 1990."},{"key":"13_CR20","first-page":"6","volume":"46","author":"A. Valmari","year":"1994","unstructured":"A. Valmari. State of the Art Report: Stubborn Sets. Petri Net Newletters 46, pages 6\u201314, 1994.","journal-title":"Petri Net Newletters"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"K. Varpaaniemi. On Combining the Stubborn Set Method with the Sleep Set Method. In Proceedings of the 15th European Workshop on Application and Theory of Petri Nets, Zaragoza (Spain), pages 548\u2013567, 1994.","DOI":"10.1007\/3-540-58152-9_30"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63139-9_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:16:00Z","timestamp":1605629760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63139-9_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631392","9783540691877"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-63139-9_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}