{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:36Z","timestamp":1725663816639},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:20:15Z","timestamp":1330269615000},"page":"199-218","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["New structural invariants for Petri nets analysis"],"prefix":"10.1007","author":[{"given":"J. M.","family":"Couvreur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Paviot-Adet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"12_CR1","unstructured":"Chandy K.M. and Misra J. \u201cParallel Program Design: A Foundation\u201d. Addison-Wesley Publishing Compagny, 1988, 516 pages."},{"key":"12_CR2","unstructured":"E.W. Dijkstra, \u201cAn assertional proof of a program by G.L. Peterson\u201d. EWD 779, Burroughs Corp. 1981."},{"key":"12_CR3","first-page":"61","volume-title":"Operating Systems Techniques","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare C.A.R., \u201cToward a Theory of Parallel Programming\u201d. Operating Systems Techniques, Hoare and Perrots (eds), Academic Press New York, 1972, p. 61\u201371."},{"issue":"2","key":"12_CR4","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"SE-3","author":"L. Lamport","year":"1977","unstructured":"Lamport L., \u201cProving the Correctness of Multiprocess Programs\u201d. IEEE Transactions on Software Engineering, vol. SE-3:2, March 1977, p. 125\u2013143.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Nguyen V., Demers A., Gries D. and Owicki S., \u201cA model and Temporal Proof System for Network of Processes\u201d. Distributed Computing, Springer Verlag, 1986, p. 7\u201325.","DOI":"10.1007\/BF01843567"},{"issue":"no10","key":"12_CR6","doi-asserted-by":"crossref","first-page":"1080","DOI":"10.1109\/TSE.1987.232850","volume":"13","author":"E.T. Morgan","year":"1987","unstructured":"Morgan E.T. and Razouk R.R., \u201cInteractive State-Space Analysis of Concurrent Systems\u201d. IEEE Transactions on Software Engineering, vol. 13, no 10, October 1987, p. 1080\u20131091.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"no.4","key":"12_CR7","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata T., \u201cPetriNets: Properties, Analysis and Applications\u201d. Proceedings of the IEEE, vol. 77, no. 4, April 1989, p. 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0020-0190(81)90106-X","volume":"12","author":"G.L. Peterson","year":"1981","unstructured":"G.L. Peterson, \u201cMyths about the Mutual Exclusion Problem\u201d. Information Processing Letters, 12:3. June 1981, p. 115\u2013116.","journal-title":"Information Processing Letters"},{"issue":"no11","key":"12_CR9","doi-asserted-by":"crossref","first-page":"1273","DOI":"10.1109\/32.60315","volume":"16","author":"I. Suzuki","year":"1990","unstructured":"Suzuki I., \u201cFormal Analysis of the Alternating Bit Protocol by Temporal Petri Nets\u201d. IEEE Transactions on Software Engineering, vol. 16, no 11, November 1990, p. 1273\u20131281.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:28:24Z","timestamp":1558268904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}