{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:13:40Z","timestamp":1725624820406},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_2","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T05:11:37Z","timestamp":1319519497000},"page":"14-28","source":"Crossref","is-referenced-by-count":9,"title":["Structural Transformations Giving B-Equivalent PT-Nets"],"prefix":"10.1007","author":[{"given":"C.","family":"Andre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","first-page":"99","volume":"5","author":"C Andre","year":"1979","unstructured":"Andre,C; Armand,P; Boeri,F: Synchronic relations and applications in parallel computation. Dig Proc, 5, 1979, pp 99\u2013113.","journal-title":"Dig Proc"},{"key":"2_CR2","volume-title":"Rapport de recherche RR 82-1, LASSY, NICE","author":"C Andre","year":"1982","unstructured":"Andre,C; Chatri,E: Transformations C-\u00e9quivalentes. Rapport de recherche RR 82-1, LASSY, NICE,1982."},{"key":"2_CR3","unstructured":"Andre,C: Behaviour of a PT-net on a subset of transitions. First European workshop on Petri nets, STRASBOURG, Sep 80."},{"key":"2_CR4","unstructured":"Andre,C: Syst\u00e8mes \u00e0 evolutions parall\u00e8les: mod\u00e9lisation par r\u00e9seaux de Petri \u00e0 capacit\u00e9, analyse par abstraction. Th\u00e8se d\u2019\u00e9tat, NICE, F\u00e9v 81."},{"key":"2_CR5","unstructured":"And re 81-2J Andre,C: Use of the Behaviour-equivalence in PT-net analysis. Second European Workshop on Petri nets, BAD HONNEF, Sep 81."},{"key":"2_CR6","volume-title":"V\u00e9rification de r\u00e9seaux de Petri, Th\u00e8se 3\u00e8me cycle","author":"G Berthelot","year":"1978","unstructured":"Berthelot,G: V\u00e9rification de r\u00e9seaux de Petri, Th\u00e8se 3\u00e8me cycle, PARIS, 1978."},{"key":"2_CR7","unstructured":"Byrn,W-H: Sequential processes, deadlocks and semaphore primitives, Ph. D Harvard, CAMBRIDGE, aug 74."},{"key":"2_CR8","volume-title":"Proc of the 1981 Allerton Conf. on Communication, Control and Computing, Sept 30-0ct 2","author":"B Le Van","year":"1981","unstructured":"Van Ban Le; Di Jen Leu; Murata: A note on the synchronic distance in a marked graph. Proc of the 1981 Allerton Conf. on Communication, Control and Computing, Sept 30-0ct 2, 1981."},{"key":"2_CR9","unstructured":"Net theory and applications, Springer Verlag, Lecture notes in Computer Science n\u00b084."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Peterson,J.L: Petri nets. Computing Surveys, Vol 19, n\u00b03, Sep 77, pp 223\u2013252.","DOI":"10.1145\/356698.356702"},{"key":"2_CR11","first-page":"335","volume-title":"Sur le concept de macroplace et son utilisation pour l\u2019analyse des r\u00e9seaux de Petri. RAIRO jaune, Vol 15, n\u00b04","author":"M Silva","year":"1981","unstructured":"Silva,M: Sur le concept de macroplace et son utilisation pour l\u2019analyse des r\u00e9seaux de Petri. RAIRO jaune, Vol 15, n\u00b04, 1981, pp 335\u2013345."},{"key":"2_CR12","unstructured":"Vale 76] Valette,R: Sur la description, l\u2019analyse et la validation des syst\u00e8mes de commande parall\u00e8les. Th\u00e8se d\u2019\u00e9tat, TOULOUSE 76."}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T04:59:52Z","timestamp":1557896392000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69028-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540123095","9783642690280"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69028-0_2","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}