{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:20:59Z","timestamp":1759638059898,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_60","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:42:34Z","timestamp":1330256554000},"page":"433-452","source":"Crossref","is-referenced-by-count":1,"title":["Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling"],"prefix":"10.1007","author":[{"given":"R\u00fcdiger","family":"Valk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Floyd, R.: Assigning meaning to programs. Mathematical Aspects of Computer Science, XIX American Mathematical Society (1967), 19\u201332","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"25_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D. Gries","year":"1981","unstructured":"Gries, D.: The Science of Programming, Springer, Berlin 1981"},{"key":"25_CR3","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic approach to computer programming, Comm. ACM 12(1969), 576\u2013580,583","journal-title":"Comm. ACM"},{"key":"25_CR4","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"Jensen, K.: Coloured Petri Nets and the invariant method. Theoretical Computer Science 14(1981), 317\u2013336","journal-title":"Theoretical Computer Science"},{"key":"25_CR5","first-page":"248","volume-title":"Lecture Notes in Computer Science No 254","author":"K. Jensen","year":"1987","unstructured":"Jensen, K.: Coloured Petri Nets, in Petri Nets: Central Models and Their Properties, in Brauer, W. et al. (Eds), Lecture Notes in Computer Science No 254, Springer, Berlin 1987, 248\u2013299"},{"key":"25_CR6","first-page":"464","volume-title":"Lecture Notes in Computer Science No 62","author":"R. Valk","year":"1978","unstructured":"Valk, R.: Selfmodifying Nets, a Natural Extension of Petri Nets, Lecture Notes in Computer Science No 62, Springer, Berlin 1978, 464\u2013476"},{"key":"25_CR7","first-page":"97","volume":"IV","author":"R. Valk","year":"1983","unstructured":"Valk, R.: Facts in Place\/Transition Nets with Unrestricted Capacities, Annales Univ. Scie. Budapestensis R. E\u00f6tv\u00f6s, Sect. Comput. Tom. IV, 1983, 97\u2013105","journal-title":"Annales Univ. Scie. Budapestensis R. E\u00f6tv\u00f6s, Sect. Comput."},{"key":"25_CR8","unstructured":"Valk, R.: Extending S-invariants for Coloured and Selfmodifying Nets, Techn. Report,Univ. Hamburg, Dep. of Computer Science, 1993"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Vautherin, J.: Non-linear invariants for safe coloured nets and appli cation to the proof of parallel programs, Proc. 6th European Workshop on Applications and Theory of Petri Nets, Espoo, Finland, 1985","DOI":"10.1007\/BFb0016224"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:55:26Z","timestamp":1742594126000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}