{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:13:37Z","timestamp":1725624817743},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540123095"},{"type":"electronic","value":"9783642690280"}],"license":[{"start":{"date-parts":[[1983,1,1]],"date-time":"1983-01-01T00:00:00Z","timestamp":410227200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69028-0_18","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T09:11:37Z","timestamp":1319533897000},"page":"264-277","source":"Crossref","is-referenced-by-count":15,"title":["Control of Flexible Production Systems and Petri Nets"],"prefix":"10.1007","author":[{"given":"R.","family":"Valette","sequence":"first","affiliation":[]},{"given":"M.","family":"Courvoisier","sequence":"additional","affiliation":[]},{"given":"D.","family":"Mayeux","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Use of the behaviour equivalence in place-transition net analysis","author":"C Andr\u00e9","year":"1980","unstructured":"C. Andr\u00e9, \u201cUse of the behaviour equivalence in place-transition net analysis\u201d, First European Workshop on Application and Theory of Petri nets, Strasbourg 1980."},{"key":"18_CR2","volume-title":"Syst\u00e8mes \u00e0 \u00e9volutions parall\u00e8les: mod\u00e9lisation par r\u00e9seau de Petri \u00e0 capacit\u00e9 et analyse par abstraction","author":"C Andr\u00e9","year":"1981","unstructured":"C. Andr\u00e9, \u201cSyst\u00e8mes \u00e0 \u00e9volutions parall\u00e8les: mod\u00e9lisation par r\u00e9seau de Petri \u00e0 capacit\u00e9 et analyse par abstraction\u201d, Th\u00e8se de Doctorat d\u2019Etat, Universit\u00e9 de Nice, 1981."},{"key":"18_CR3","volume-title":"Net Theory and Applications, Lecture Notes in Computer Science","author":"G Berthelot","year":"1980","unstructured":"G. Berthelot, G. Roucairol, R. Valk, \u201cReduction of nets and parallel programs\u201d, Net Theory and Applications, Lecture Notes in Computer Science N\u00b084, Springer Verlag, 1980."},{"key":"18_CR4","volume-title":"Synthesis and analysis of logic automation systems","author":"J Boussin","year":"1978","unstructured":"J. Boussin, \u201cSynthesis and analysis of logic automation systems\u201d, 7th IFAC World Congress, Helsinki, 1978."},{"key":"18_CR5","volume-title":"Outils C.A.O. pour l\u2019analyse, la sp\u00e9cification et la r\u00e9alisation de lfautomatisation d\u2019\u00e9quipements de la production m\u00e9canique","author":"B Cavanna","year":"1981","unstructured":"B. Cavanna, F. Doll\u00e9, M. Moalla, \u201cOutils C.A.O. pour l\u2019analyse, la sp\u00e9cification et la r\u00e9alisation de lfautomatisation d\u2019\u00e9quipements de la production m\u00e9canique\u201d, 3\u00e8me Journ\u00e9es Scientifiques et Techniques de la production automatis\u00e9e, Toulouse, juin 1981."},{"key":"18_CR6","volume-title":"Superposed aut\u00f2mata nets","author":"F Cindio de","year":"1981","unstructured":"F. de Cindio, G. de Michelis, L. Pomello, C. Simone, \u201cSuperposed aut\u00f2mata nets\u201d, Second European Workshop on Application and Theory of Petri nets, Bad Honnef, 1981."},{"key":"18_CR7","volume-title":"The synthesis of Petri nets for controlling purposes and reduction of their complexity","author":"L Dadda","year":"1976","unstructured":"L. Dadda, \u201cThe synthesis of Petri nets for controlling purposes and reduction of their complexity\u201d, Euromicro 1976, North-Holland."},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1145\/322077.322079","volume":"25","author":"LH Landweber","year":"1978","unstructured":"L.H. Landweber, E.L. Robertson, \u201cProperties of conflict-free and persistent nets\u201d, Journal of the ACM, vol.25, n\u00b03, july 1978, pp. 352\u2013364.","journal-title":"Journal of the ACM"},{"key":"18_CR9","volume-title":"Mod\u00e9lisation de la synchronisation des t\u00e2ches dans un logiciel d\u2019aide \u00e0 la d\u00e9cision pour l\u2019ordonnancement d\u2019ateliers en temps r\u00e9el","author":"D Mayeux","year":"1981","unstructured":"D. Mayeux, \u201cMod\u00e9lisation de la synchronisation des t\u00e2ches dans un logiciel d\u2019aide \u00e0 la d\u00e9cision pour l\u2019ordonnancement d\u2019ateliers en temps r\u00e9el\u201d, Note Interne LAAS-PASTELS 81.1.10, mars 1981."},{"key":"18_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating systems","author":"R Milner","year":"1980","unstructured":"Robin Milner, \u201cA calculus of communicating systems\u201d, Springer verlag, Lecture Notes in Computer Science, n\u00b092, 1980."},{"key":"18_CR11","volume-title":"Stepwise refinements of transitions and places","author":"I Suzuki","year":"1980","unstructured":"I. Suzuki, T. Murata, \u201cStepwise refinements of transitions and places\u201d, First European Workshop on Application and Theory of Petri nets, Strasbourg, 1980."},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","volume":"18","author":"R Valette","year":"1979","unstructured":"R. Valette, \u201cAnalysis of Petri nets by stepwise refinements\u201d, J. of Compt. System Sci., vol.18, n\u00b0l, feb. 1979, pp. 35\u201346.","journal-title":"J. of Compt. System Sci"},{"key":"18_CR13","volume-title":"Sp\u00e9cification et validation de la synchronisation des t\u00e2ches dans un atelier flexible de masticage","author":"R Valette","year":"1981","unstructured":"R. Valette, \u201cSp\u00e9cification et validation de la synchronisation des t\u00e2ches dans un atelier flexible de masticage\u201d, Rapport partiel GIS-Atelier Flexible, Note Interne LAAS- PASTELS 81.1.38, oct. 1981."}],"container-title":["Informatik-Fachberichte","Applications and Theory of Petri Nets"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69028-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T08:59:57Z","timestamp":1557910797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69028-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540123095","9783642690280"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69028-0_18","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}