{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:40:32Z","timestamp":1736113232782,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022465","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:24:08Z","timestamp":1132723448000},"page":"91-108","source":"Crossref","is-referenced-by-count":2,"title":["Notion de Dualite et de Symetrie dans les Reseaux de Petri"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"MEMMI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"J. ABADIE \"Probl\u00e8mes d'optimalisation\" U.V. Informatique Op\u00e9rationnelle Institut de Programmation Pub. no 41 (1972\u20131973)."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"E. BEST, H. SCHMID \"Systems of Open Paths in Petri Nets\" Proc. of the Symp. On M.F.C.S. 75 Lect. notes in Comp. Sc. no 32 Springer Verlag 1975.","DOI":"10.1007\/3-540-07389-2_194"},{"key":"6_CR3","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/S0021-9800(68)80061-4","volume":"4","author":"P. Camion","year":"1968","unstructured":"P. CAMION \"Modules unimodulaires\" J. of Combinatorial theory 4, 1968, p. 301\u2013362.","journal-title":"J. of Combinatorial theory"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F. Commoner","year":"1971","unstructured":"F. COMMONER, A. HOLT, S. EVEN, A. PNUELI \"Marked Directed Graphs\" J. Comput. System Sci. 5 Oct. 1971, p. 511\u2013523.","journal-title":"J. Comput. System Sci."},{"key":"6_CR5","unstructured":"F. COMMONER \"Deadlocks in Petri Nets\" CA-7206-2311, Applied Data Research, Wakefield, Mass. June 1972."},{"key":"6_CR6","unstructured":"M. HACK \"Analysis of Production Schemata by Petri Nets\" MS. Thesis Dept Electrical Engineering, MACTR 94, Project MAC, M.I.T. Cambridge, Mass. Sept. 1972."},{"key":"6_CR7","unstructured":"K. LAUTENBACH, H. SCHMID \"Use of Petri Nets for Proving Correctness of Concurrent Process System\". Information processing 1974. North Holland Publ. Co 1974, p. 187\u2013191."},{"issue":"2","key":"6_CR8","first-page":"251","volume":"5","author":"Y.E. Lien","year":"1976","unstructured":"Y.E. LIEN \"Termination Properties of Generalized Petri Nets\" S.I.A.M. J. Comput., June 1976, Vol 5, no 2, pages 251\u2013265.","journal-title":"S.I.A.M. J. Comput."},{"issue":"4","key":"6_CR9","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0020-0255(76)90054-2","volume":"10","author":"Y.E. Lien","year":"1976","unstructured":"Y.E. LIEN \"A Note on Transition Systems\" J. Inf. Sciences 1976, Vol 10 No 4, p. 347\u2013362.","journal-title":"J. Inf. Sciences"},{"issue":"12","key":"6_CR10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1051\/ita\/1978120201251","volume":"12","author":"G. Memmi","year":"1978","unstructured":"G. MEMMI \"Fuitesdans les r\u00e9seaux de P\u00e9tri\" RAIRO Inf. Th\u00e9orique, Vol 12 No 12, p. 125\u2013144 (Juin 1978).","journal-title":"RAIRO Inf. Th\u00e9orique"},{"key":"6_CR11","unstructured":"G. MEMMI \"Application of the semi-flow notion to the Boundeness and Liveness Problems in the Petri Nets Theory\" Proc. of the Conf. on Information Sciences and Systems, John Hopkins University, Baltimore, U.S.A., March 1978."},{"key":"6_CR12","unstructured":"C. RAMCHANDANI \"Analysis of Asynchronous Concurrent Systems by Timed Petri Nets\" Ph. D. Thesis, Project MAC. MAC-TR-120, Cambridge, Mass. Feb 1974."},{"key":"6_CR13","unstructured":"J. SIFAKIS \"Structural Properties of Petri Nets\" Lab. ass. au C.N.R.S. no 7, R.R. no 102, Grenoble D\u00e9c 1977."},{"key":"6_CR14","unstructured":"R. VALK \"Pr\u00e9vention des bloquages aux syst\u00e8mes parall\u00e8les\""}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022465.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:22:37Z","timestamp":1736112157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022465"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0022465","relation":{},"subject":[]}}