{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:51:22Z","timestamp":1761490282083},"reference-count":13,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IFAC Proceedings Volumes"],"published-print":{"date-parts":[[2003,6]]},"DOI":"10.1016\/s1474-6670(17)36412-1","type":"journal-article","created":{"date-parts":[[2017,5,16]],"date-time":"2017-05-16T20:16:18Z","timestamp":1494965778000},"page":"87-92","source":"Crossref","is-referenced-by-count":3,"title":["Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems"],"prefix":"10.1016","volume":"36","author":[{"given":"E.","family":"Villani","sequence":"first","affiliation":[]},{"given":"J.C.","family":"Pascal","sequence":"additional","affiliation":[]},{"given":"P.E.","family":"Miyagi","sequence":"additional","affiliation":[]},{"given":"R.","family":"Valette","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1474-6670(17)36412-1_bib0005","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","article-title":"The algorithm analysis of hybrid systems","volume":"138","author":"Alur","year":"1995","journal-title":"Theorical Computer Science"},{"key":"10.1016\/S1474-6670(17)36412-1_bib0010","series-title":"Proc. of MOVEP'2k: MOdelling and Verification of Parallel Processes","article-title":"UPPAAL - Now, Next and Future","author":"Amnell","year":"2000"},{"key":"10.1016\/S1474-6670(17)36412-1_bib0015","series-title":"3rd International Conference on Automation of Mixed Processes","article-title":"On Hybrid Control of Complex System: a survey","author":"Antsaklis","year":"1998"},{"key":"10.1016\/S1474-6670(17)36412-1_bib0020","series-title":"The Unified Modeling Language User Guide","author":"Booch","year":"1998"},{"key":"10.1016\/S1474-6670(17)36412-1_bib0025","series-title":"3rd International Conference on Automation of Mixed Processes","article-title":"Modelling and Simulation of a Hybrid System through Pr\/Tr PN-DAE Model","author":"Champagnat","year":"1998"},{"key":"10.1016\/S1474-6670(17)36412-1_bib0030","article-title":"A logic for Petri nets","volume":"31","author":"Girault","year":"1997"},{"key":"10.1016\/S1474-6670(17)36412-1_bib0035","article-title":"Principes de la v\u00e9rification des syst\u00e8mes hybrides","author":"Gueguen","year":"2001","journal-title":"Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs"},{"key":"10.1016\/S1474-6670(17)36412-1_bib0040","series-title":"9th International. Conf. on Computer-Aided Verification","article-title":"HyTech: a model checker for hybrid systems","author":"Henzinger","year":"1997"},{"key":"10.1016\/S1474-6670(17)36412-1_bib0045","article-title":"Extraction des scenarios critiques \u00e0 partir d'un modele RdP \u00e0 l'aide de la logique lineaire","author":"Kalfaoui","year":"2001","journal-title":"Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs"},{"key":"10.1016\/S1474-6670(17)36412-1_bib0050","series-title":"Th\u00e8se de Doctorat","article-title":"Sur la commande des proc\u00e9d\u00e9s industriels: une m\u00e9thodologie bas\u00e9e objects et r\u00e9seaux de Petri","author":"Paludetto","year":"1991"},{"key":"10.1016\/S1474-6670(17)36412-1_bib0055","series-title":"40th IEEE Conf. on Decision and Control","article-title":"An Assessment of the Current Status of Algorithmic Approaches to the Verification of Hybrid Systems","author":"Silva","year":"2001"},{"key":"10.1016\/S1474-6670(17)36412-1_bib0060","series-title":"15th IFAC World Congress on Automatic Control","article-title":"An Object-Oriented Approach for Hybrid System Modelling","author":"Villani","year":"2002"},{"key":"10.1016\/S1474-6670(17)36412-1_bib0065","article-title":"Petri nets and Object-Oriented Approach for the Analysis of Hybrid System","author":"Villani","year":"2002","journal-title":"XIV C. Brasileiro Automatica"}],"container-title":["IFAC Proceedings Volumes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1474667017364121?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1474667017364121?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T15:58:40Z","timestamp":1535817520000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1474667017364121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":13,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["S1474667017364121"],"URL":"https:\/\/doi.org\/10.1016\/s1474-6670(17)36412-1","relation":{},"ISSN":["1474-6670"],"issn-type":[{"value":"1474-6670","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}