{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:53:28Z","timestamp":1725540808523},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106187"},{"type":"electronic","value":"9783642106194"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10619-4_6","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T00:01:57Z","timestamp":1258329717000},"page":"42-49","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Consistent Semantics for Unsafe Time Petri Nets"],"prefix":"10.1007","author":[{"given":"Abdelkrim","family":"Abdelli","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependant systems using Time Petri Nets. IEEE Transactions on Software Engineering\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR2","unstructured":"Berthomieu, B.: La m\u00e9thode des classes d\u2019\u00e9tats pour l\u2019analyse des r\u00e9seaux temporels. In: Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs (MSR 2001), Toulouse, France (October 2001), pp. 275\u2013290 (2001) Hermes"},{"issue":"4","key":"6_CR3","first-page":"469","volume":"88","author":"H. Boucheneb","year":"2008","unstructured":"Boucheneb, H., Rakkay, H.: A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties. Fundam. Inform.\u00a088(4), 469\u2013495 (2008)","journal-title":"Fundam. Inform."},{"key":"6_CR4","unstructured":"Merlin, P.: A study of the recoverability of computer system. PHD Thesis Dep. Computer. Science, Univ. California, Irvine (1974)"},{"issue":"2-3","key":"6_CR5","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.tcs.2008.03.030","volume":"403","author":"B. B\u00e9rard","year":"2008","unstructured":"B\u00e9rard, B., Cassez, F., Haddad, S., Lime, D., Roux, O.H.: When are Timed Automata weakly timed bisimilar to Time Petri Nets? Theor. Comput. Sci.\u00a0403(2-3), 202\u2013220 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"8","key":"6_CR6","doi-asserted-by":"publisher","first-page":"728","DOI":"10.1109\/32.940727","volume":"27","author":"E. Vicario","year":"2001","unstructured":"Vicario, E.: Static Analysis and Dynamic Steering of Time-Dependent Systems. IEEE Trans. Software Eng.\u00a027(8), 728\u2013748 (2001)","journal-title":"IEEE Trans. Software Eng."},{"key":"6_CR7","unstructured":"TINA Tool, \n                  \n                    http:\/\/www.laas.fr\/tina\/"},{"key":"6_CR8","unstructured":"ROMEO TOOL, \n                  \n                    http:\/\/romeo.rts-software.org"}],"container-title":["Communications in Computer and Information Science","Advances in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10619-4_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:36:35Z","timestamp":1619768195000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10619-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106187","9783642106194"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10619-4_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2009]]}}}