{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:22:35Z","timestamp":1725895355628},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540111894"},{"type":"electronic","value":"9783642683534"}],"license":[{"start":{"date-parts":[[1982,1,1]],"date-time":"1982-01-01T00:00:00Z","timestamp":378691200000},"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":[[1982]]},"DOI":"10.1007\/978-3-642-68353-4_39","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:25:56Z","timestamp":1320229556000},"page":"228-233","source":"Crossref","is-referenced-by-count":0,"title":["Towards Fault-Tolerant Real-Time Systems by Using Petri Nets"],"prefix":"10.1007","author":[{"given":"J. M.","family":"Ayache","sequence":"first","affiliation":[]},{"given":"P.","family":"Az\u00e9ma","sequence":"additional","affiliation":[]},{"given":"M.","family":"Diaz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","volume-title":"Switching Symposium","author":"JM Ayache","year":"1979","unstructured":"J.M. Ayache, M. Diaz, R. Valette, \u201cA methodology for specifying control in electronic switching systems\u201d, Int. Switching Symposium, ISS 79, Paris, May 1979."},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"M. Devy, M. Diaz, \u201cMultilevel specification and validation of the control in communication systems\u201d, 1st Int. Conf. on Distributed Computing Systems, Huntsvilie, Alabama, Oct. 1\u20134, 1979.","DOI":"10.1016\/0306-4379(79)90011-5"},{"key":"39_CR3","unstructured":"P. Azema, B. Berthomieu, P. Decitre, \u201cValidation of a mechanism for invocation of remote servers\u201d, IFIP 80, Melbourne, Oct. 1980."},{"key":"39_CR4","volume-title":"on Fault-Tolerant Computing1; Madison","author":"JM Ayache","year":"1979","unstructured":"J.M. Ayache, P. Azema, M. Diaz, \u201cObserver: a concept for on-line detection of control errors in concurrent systems\u201d, IEEE Int. Symp. on Fault-Tolerant Computing1; Madison, June 1979."},{"key":"39_CR5","volume-title":"Un outil graphique interactif pour la v\u00e9rification des syst\u00e8mes parall\u00e8les d\u00e9crits par des r\u00e9seaux de Petri, Th\u00e8se de Docteur-Ing\u00e9nieur","author":"B Chezalviel-Pradin","year":"1979","unstructured":"B. Chezalviel-Pradin, \u201cUn outil graphique interactif pour la v\u00e9rification des syst\u00e8mes parall\u00e8les d\u00e9crits par des r\u00e9seaux de Petri\u201d, Th\u00e8se de Docteur-Ing\u00e9nieur, Toulouse, D\u00e9cembre 1979."}],"container-title":["Informatik-Fachberichte","Application and Theory of Petri Nets"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68353-4_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T08:54:15Z","timestamp":1557910455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68353-4_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540111894","9783642683534"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68353-4_39","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}