{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,2]],"date-time":"2024-02-02T16:46:00Z","timestamp":1706892360584},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1996,8,1]],"date-time":"1996-08-01T00:00:00Z","timestamp":838857600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1996,8,1]],"date-time":"1996-08-01T00:00:00Z","timestamp":838857600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1996,8]]},"DOI":"10.1007\/bf03036470","type":"journal-article","created":{"date-parts":[[2009,4,4]],"date-time":"2009-04-04T07:07:20Z","timestamp":1238828840000},"page":"669-685","source":"Crossref","is-referenced-by-count":3,"title":["On the analysis of Petri nets with static priorities"],"prefix":"10.1007","volume":"33","author":[{"given":"Falko","family":"Bause","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF03036470_CR1","doi-asserted-by":"crossref","unstructured":"M. Ajmone-Marsan. Stochastic Petri nets: An elementary introduction. In Advances in Petri Nets, pages 1\u201329. Lecture Notes in Computer Science, Vol. 424, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52494-0_23"},{"key":"BF03036470_CR2","unstructured":"M. Ajmone-Marsan, G. Balbo, and G. Conti. Performance Models of Multiprocessor Systems. MIT Press Series in Computer Science, 1986."},{"key":"BF03036470_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"B. Alpern and F.B. Schneider. Defining liveness. Information Processing Letters, 21:181\u2013185, 1985.","journal-title":"Information Processing Letters"},{"key":"BF03036470_CR4","doi-asserted-by":"crossref","unstructured":"E. Best. Structure theory of Petri nets: The free choice hiatus. In Advances in Petri Nets, Part I, pages 168\u2013205. Springer-Verlag, 1986.","DOI":"10.1007\/978-3-540-47919-2_8"},{"key":"BF03036470_CR5","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0304-3975(92)90048-K","volume":"101","author":"E. Best","year":"1992","unstructured":"E. Best, J. Desel, and J. Esparza. Traps characterize home states in free choice systems. Theoretical Computer Science, 101:161\u2013176, 1992.","journal-title":"Theoretical Computer Science"},{"key":"BF03036470_CR6","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":"BF03036470_CR7","doi-asserted-by":"crossref","unstructured":"E. Best and P.S. Thiagarajan. Some classes of live and safe Petri nets. In Advances in Petri Nets, pages 71\u201394. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-72822-8_8"},{"key":"BF03036470_CR8","doi-asserted-by":"publisher","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"},{"issue":"2","key":"BF03036470_CR9","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/32.214828","volume":"19","author":"G. Chiola","year":"1993","unstructured":"G. Chiola, M. Ajmone-Marsan, G. Balbo, and G. Conte. Generalized Stochastic Petri nets: A definition at the net level and its implications. IEEE Transactions on Software Engineering, 19(2):89\u2013107, Feb. 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF03036470_CR10","unstructured":"G. Chiola, S. Donatelli, and G. Franceschinis. Priorities, inhibitor arcs, and concurrency in P\/T nets. In Proceedings of the 12th International Conference of Application and Theory of Petri Nets, Gjern (Denmark), 1991."},{"key":"BF03036470_CR11","unstructured":"M.H.T. Hack. Petri net languages. Technical Report 159, MIT, Laboratory of Computer Science, March 1976."},{"key":"BF03036470_CR12","doi-asserted-by":"publisher","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":"BF03036470_CR13","first-page":"319","volume-title":"Proceedings of the 14th International Conference on Application and Theory of Petri Nets","author":"P. Kemper","year":"1993","unstructured":"P. Kemper. Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net. In M. Ajmone-Marsan, editor, Proceedings of the 14th International Conference on Application and Theory of Petri Nets, pages 319\u2013338. Springer-Verlag, Berlin, 1993."},{"key":"BF03036470_CR14","volume-title":"Proceedings of the 13th International Conference on Application and Theory of Petri Nets","author":"P. Kemper","year":"1992","unstructured":"P. Kemper and F. Bause. An efficient polynomial-time algorithm to decide liveness and boundedness of free choice nets. In K. Jensen, editor, Proceedings of the 13th International Conference on Application and Theory of Petri Nets. Springer-Verlag, Berlin, 1992."},{"key":"BF03036470_CR15","doi-asserted-by":"crossref","unstructured":"M. Koutny. Modelling systems with dynamic priorities. Advances in Petri Nets, pages 251\u2013266, 1992.","DOI":"10.1007\/3-540-55610-9_174"},{"key":"BF03036470_CR16","doi-asserted-by":"crossref","unstructured":"A. Pagnoni. Stochastic nets and performance evaluation. In Petri Nets: Central Models and Their Properties. Advances in Petri Nets, pages 460\u2013478. Lecture Notes in Computer Science, No. 254, 1986.","DOI":"10.1007\/978-3-540-47919-2_18"},{"key":"BF03036470_CR17","unstructured":"J.L. Peterson. Petri Net Theory and the Modelling of Systems. Prentice-Hall, 1981."},{"key":"BF03036470_CR18","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan and K. Voss. In praise of free choice nets. In Advances in Petri Nets, pages 438\u2013454. Springer-Verlag, 1984.","DOI":"10.1007\/3-540-15204-0_24"},{"key":"BF03036470_CR19","doi-asserted-by":"crossref","unstructured":"W.J. Stewart. Introduction to the numerical solution of Markov chains. Princeton University Press, 1994.","DOI":"10.1515\/9780691223384"},{"key":"BF03036470_CR20","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":"BF03036470_CR21","doi-asserted-by":"crossref","unstructured":"E. Teruel and M. Silva. Well-formedness of equal conflict systems. In Proceedings of the 15th European Workshop on Application and Theory of Petri Nets, Zaragoza (Spain), pages 491\u2013510, 1994.","DOI":"10.1007\/3-540-58152-9_27"},{"key":"BF03036470_CR22","unstructured":"W. Vogler. Live and bounded free choice nets have home states. In Petri Net Newsletters, pages 18\u201321. Special Interest Group On Petri Nets and Related System Models, Gesellschaft f\u00fcr Informatik (GI), Germany, 4 1989."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03036470.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF03036470\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03036470","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03036470.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,16]],"date-time":"2022-05-16T21:11:51Z","timestamp":1652735511000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF03036470"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,8]]},"references-count":22,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1996,8]]}},"alternative-id":["BF03036470"],"URL":"https:\/\/doi.org\/10.1007\/bf03036470","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,8]]}}}