{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:10:47Z","timestamp":1725495047551},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422525"},{"type":"electronic","value":"9783540457404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_22","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T15:30:51Z","timestamp":1195140651000},"page":"382-401","source":"Crossref","is-referenced-by-count":1,"title":["Partial S-Invariants for the Verification of Infinite Systems Families"],"prefix":"10.1007","author":[{"given":"Walter","family":"Vogler","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"22_CR1","unstructured":"P. Baldan, N. Busi, A. Corradini, and M. Pinna. Functional concurrent semantics for Petri nets withread and inhibitor arcs. In C. Palamidessi, editor, CONCUR 2000, Lect. Notes Comp. Sci. 1877, 442\u2013457. Springer, 2000."},{"key":"22_CR2","unstructured":"E. Bihler and W. Vogler. Efficiency of token-passing MUTEX-solutions-some experiments. In J. Desel et al., editors, Applications and Theory of Petri Nets 1998, Lect. Notes Comp. Sci. 1420, 185\u2013204. Springer, 1998."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"E.M. Clarke, O. Grumberg, and S. Jha. Verifying parameterized networks using abstraction and regular languages. In I. Lee and S. Smolka, editors, CONCUR 95, Lect. Notes Comp. Sci. 962, 395\u2013407. Springer, 1995.","DOI":"10.1007\/3-540-60218-6_30"},{"key":"22_CR4","unstructured":"E.W. Dijkstra. Invariance and non-determinacy. In C.A.R. Hoare and J.C. Sheperdson, editors, Mathematical Logic and Programming Languages, 157\u2013165. Prentice-Hall, 1985."},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BF01211911","volume":"8","author":"S. Graf","year":"1996","unstructured":"S. Graf, B. Steffen, and G. L\u00fcttgen. Compositional minimisation of finite state systems using interface specifications. Formal Aspects of Computing, 8:607\u2013616, 1996.","journal-title":"Formal Aspects of Computing"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1995.1153","volume":"123","author":"R. Janicki","year":"1995","unstructured":"R. Janicki and M. Koutny. Semantics of inhibitor nets. Information and Computation, 123:1\u201316, 1995.","journal-title":"Information and Computation"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"R. Kaivola. Using compositional preorders in the verification of sliding window protocol. In CAV 97, Lect. Notes Comp. Sci. 1254, 48\u201359. Springer, 1997.","DOI":"10.1007\/3-540-63166-6_8"},{"key":"22_CR8","series-title":"PhD thesis","volume-title":"Modularer Entwurf verteilter Systeme mit Petrinetzen","author":"E. Kindler","year":"1995","unstructured":"E. Kindler. Modularer Entwurf verteilter Systeme mit Petrinetzen. PhD thesis, Techn. Univ. M\u00fcnchen, Bertz-Verlag, 1995."},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01178907","volume":"32","author":"U. Montanari","year":"1995","unstructured":"U. Montanari and F. Rossi. Contextual nets. Acta Informatica, 32:545\u2013596, 1995.","journal-title":"Acta Informatica"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"W. Reisig. Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness. In J. Paredaens, editor, Automata, Languages and Programming, Lect. Notes Comp. Sci. 172, 403\u2013413. Springer, 1984.","DOI":"10.1007\/3-540-13345-3_37"},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/CSD.1998.657541","volume-title":"Int. Conf. Application of Concurrency to System Design","author":"A. Valmari","year":"1998","unstructured":"A. Valmari and Kokkarinen. Unbounded verification results by finite-state compositional technique: 10any states and beyond. In Int. Conf. Application of Concurrency to System Design, 1998, Fukushima, Japan, 75\u201387. IEEE Computer Society, 1998."},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0020-0190(95)00049-I","volume":"55","author":"W. Vogler","year":"1995","unstructured":"W. Vogler. Fairness and partial order semantics. Information Processing Letters, 55:33\u201339, 1995.","journal-title":"Information Processing Letters"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"W. Vogler. Efficiency of asynchronous systems and read arcs in Petri nets. In P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela, editors, ICALP 97, Lect. Notes Comp. Sci. 1256, 538\u2013548. Springer, 1997. Full version at http:\/\/www.informatik.uni-augsburg.de\/~vogler\/ under the title \u2018Efficiency of Asynchronous Systems, Read Arcs, and the MUTEX-Problem\u2019.","DOI":"10.1007\/3-540-63165-8_209"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"W. Vogler, A. Semenov, and A. Yakovlev. Unfolding and finite prefix for nets with read arcs. In D. Sangiorgi and R. de Simone, editors, CONCUR 98, Lect. Notes Comp. Sci. 1466, 501\u2013516. Springer, 1998. Full version as Technical Report Series No. 634, Computing Science, University of Newcastle upon Tyne, February 1998; can be obtained from: ftp:\/\/sadko.ncl.ac.uk\/pub\/incoming\/TRs\/ .","DOI":"10.1007\/BFb0055644"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"P. Wolper and V. Lovinfosse. Verifying properties of large sets of processes with network invariants. In Automatic Verification Methods for Finite Systems, Lect. Notes Comp. Sci. 407, 68\u201380. Springer, 1989.","DOI":"10.1007\/3-540-52148-8_6"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T13:17:37Z","timestamp":1556975857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}