{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:55Z","timestamp":1725664015247},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58468-4_167","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:14:58Z","timestamp":1330272898000},"page":"211-227","source":"Crossref","is-referenced-by-count":0,"title":["Predicting logical and temporal properties of real-time systems using Synchronized Elementary Nets"],"prefix":"10.1007","author":[{"given":"Hanifa","family":"Boucheneb","sequence":"first","affiliation":[]},{"given":"Usthb","family":"Alger","sequence":"additional","affiliation":[]},{"given":"G\u00e9rard","family":"Berthelot","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"11_CR1","unstructured":"R.Alur\u201e N.Halbwachs: \u201cMinimization of timed transition systems\u201d, CONCUR'92, LNCS 630."},{"key":"11_CR2","unstructured":"R.Alur, D.Dill: \u201cAutomata for modelling real-time systems\u201d, ICALP'90, LNCS 443."},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur, D. Dill: \u201cA theory of timed automata\u201d, Theoritical Computer Sciences 126 1994, 183\u2013235.","journal-title":"Theoritical Computer Sciences"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"C.Andr\u00e9 \u201cSynchronized Elmentary Net Systems\u201d. Advances in Petri Nets 1989, Grzegorz Rozenberg editor, LNCS 424, Springer-Verlag.","DOI":"10.1007\/3-540-52494-0_25"},{"key":"11_CR5","unstructured":"G.Berry, G.Gonthier \u201cThe synchroneous Programming Language ESTEREL: Design, Semantic, Implementation\u201d. INRIA report 842, 1988."},{"key":"11_CR6","volume-title":"IFIP Congress","author":"B. Berthomieu","year":"1983","unstructured":"B. Berthomieu, M. Menasche \u201cAn enumerative approach for analyzing time Petri nets\u201d. IFIP Congress 1983, Paris, North-Holland."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"B.Berthomieu, M. Diaz \u201cModeling and verification of time dependent systems using time Petri nets\u201d, IEEE Transactions on Software Engineering vol 17, N\u21343, March 91.","DOI":"10.1109\/32.75415"},{"key":"11_CR8","unstructured":"C.Courcoubetis, M.Yannakakis: \u201cMinimum and Maximum Delay problems in Real-time systems\u201d. CAV'91,LNCS 575."},{"key":"11_CR9","unstructured":"L.Fancelli \u201cM\u00e9thode de conception mixte asynchrone\/synchrone pour la r\u00e9alisation de syst\u00e8mes de commande de processus discontinus\u201d, Th\u00e8se de docteur en sciences, universit\u00e9 de Nice-Sophia-Antipolis, Juillet 90."},{"key":"11_CR10","unstructured":"T.A.Henzinger, X.Nicollin, J.Sifakis, S.Yovine: \u201cSymbolic Model Checking for Real-Time Systems\u201d. In Procedings of the Seventh iEEE Symposium on Logic in Computer Science, 1992."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"P.Merlin, D.J.Farber, \u201cRecovability of communication protocols\u201d. IEEE Trans. on Communications, 24 (1976).","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"11_CR12","first-page":"4","volume":"EIK 27","author":"L. Popova","year":"1991","unstructured":"L. Popova. \u201cOn Time Petri Nets\u201d, J. Inform. Process. Cybern., EIK 27 (1991) 4.","journal-title":"J. Inform. Process. Cybern."},{"key":"11_CR13","first-page":"13","volume":"13","author":"L. Popova","year":"1993","unstructured":"L. Popova. \u201cPetri Nets with Time Restrictions\u201d, SAMS, 1993, Vol. 13, pp. 13\u201320.","journal-title":"SAMS"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_167.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:44Z","timestamp":1605648104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_167"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_167","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}