{"id":"https://openalex.org/W2055917661","doi":"https://doi.org/10.1109/itsc.2007.4357718","title":"Design, modeling and analysis of ITS using UML and Petri Nets","display_name":"Design, modeling and analysis of ITS using UML and Petri Nets","publication_year":2007,"publication_date":"2007-09-01","ids":{"openalex":"https://openalex.org/W2055917661","doi":"https://doi.org/10.1109/itsc.2007.4357718","mag":"2055917661"},"language":"en","primary_location":{"id":"doi:10.1109/itsc.2007.4357718","is_oa":false,"landing_page_url":"https://doi.org/10.1109/itsc.2007.4357718","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 IEEE Intelligent Transportation Systems Conference","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042946001","display_name":"Fabien Bonnefoi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210108912","display_name":"CIEP","ror":"https://ror.org/01nnh1n81","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210108912"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fabien Bonnefoi","raw_affiliation_strings":["DSO Research and Development, Sevres, France","DSO R&D, Sevres"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DSO Research and Development, Sevres, France","institution_ids":["https://openalex.org/I4210108912"]},{"raw_affiliation_string":"DSO R&D, Sevres","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111768812","display_name":"Loin Messan Hillah","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Loin Messan Hillah","raw_affiliation_strings":["Modezling and Verification Team in the Department of Network and Distributed Systems CNRS UMR 7606, Universit\u00e9 Pierre et Marie Curie, Paris, France","Universit\u00e9 Pierre et Marie Curie (Paris6), with the Modeling and Verification team in the Department of Network and Distributed Systems at LIP6, CNRS UMR 7606, Paris France. lom-messan.hillah@lip6.fr"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Modezling and Verification Team in the Department of Network and Distributed Systems CNRS UMR 7606, Universit\u00e9 Pierre et Marie Curie, Paris, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I1294671590","https://openalex.org/I4210159731"]},{"raw_affiliation_string":"Universit\u00e9 Pierre et Marie Curie (Paris6), with the Modeling and Verification team in the Department of Network and Distributed Systems at LIP6, CNRS UMR 7606, Paris France. lom-messan.hillah@lip6.fr","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I1294671590","https://openalex.org/I4210159731"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039526664","display_name":"Fabrice Kordon","orcid":"https://orcid.org/0000-0002-5626-828X"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fabrice Kordon","raw_affiliation_strings":["Modezling and Verification Team in the Department of Network and Distributed Systems CNRS UMR 7606, Universit\u00e9 Pierre et Marie Curie, Paris, France","Universit\u00e9 Pierre et Marie Curie (Paris6), with the Modeling and Verification team in the Department of Network and Distributed Systems at LIP6, CNRS UMR 7606, Paris France. fabrice.kordon@lip6.fr"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Modezling and Verification Team in the Department of Network and Distributed Systems CNRS UMR 7606, Universit\u00e9 Pierre et Marie Curie, Paris, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I1294671590","https://openalex.org/I4210159731"]},{"raw_affiliation_string":"Universit\u00e9 Pierre et Marie Curie (Paris6), with the Modeling and Verification team in the Department of Network and Distributed Systems at LIP6, CNRS UMR 7606, Paris France. fabrice.kordon@lip6.fr","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I1294671590","https://openalex.org/I4210159731"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014290194","display_name":"Xavier Renault","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Xavier Renault","raw_affiliation_strings":["Modezling and Verification Team in the Department of Network and Distributed Systems CNRS UMR 7606, Universit\u00e9 Pierre et Marie Curie, Paris, France","Universit\u00e9 Pierre et Marie Curie (Paris6), with the Modeling and Verification team in the Department of Network and Distributed Systems at LIP6, CNRS UMR 7606, Paris France. xavier.renault@lip6.fr"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Modezling and Verification Team in the Department of Network and Distributed Systems CNRS UMR 7606, Universit\u00e9 Pierre et Marie Curie, Paris, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I1294671590","https://openalex.org/I4210159731"]},{"raw_affiliation_string":"Universit\u00e9 Pierre et Marie Curie (Paris6), with the Modeling and Verification team in the Department of Network and Distributed Systems at LIP6, CNRS UMR 7606, Paris France. xavier.renault@lip6.fr","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I1294671590","https://openalex.org/I4210159731"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7483,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.73116899,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"314","last_page":"319"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8038215637207031},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7522532939910889},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.7199961543083191},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6430110335350037},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.57736736536026},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5695419311523438},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.5256744027137756},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5226737856864929},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5149667859077454},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4910128116607666},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4756569266319275},{"id":"https://openalex.org/keywords/sequence-diagram","display_name":"Sequence diagram","score":0.4716041684150696},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4446808695793152},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.435162752866745},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36121973395347595},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16984257102012634},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11204090714454651}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8038215637207031},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7522532939910889},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.7199961543083191},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6430110335350037},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.57736736536026},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5695419311523438},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.5256744027137756},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5226737856864929},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5149667859077454},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4910128116607666},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4756569266319275},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.4716041684150696},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4446808695793152},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.435162752866745},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36121973395347595},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16984257102012634},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11204090714454651},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/itsc.2007.4357718","is_oa":false,"landing_page_url":"https://doi.org/10.1109/itsc.2007.4357718","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 IEEE Intelligent Transportation Systems Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01334867v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01334867","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"10th International IEEE Conference on Intelligent Transportation Systems, Sep 2007, Seattle, WA, United States. pp.314-319, ⟨10.1109/ITSC.2007.4357718⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W23267104","https://openalex.org/W146458024","https://openalex.org/W1518904286","https://openalex.org/W1521377075","https://openalex.org/W1527974694","https://openalex.org/W1574570499","https://openalex.org/W1759305011","https://openalex.org/W1959009390","https://openalex.org/W1985804037","https://openalex.org/W1994257332","https://openalex.org/W2023098098","https://openalex.org/W2067502347","https://openalex.org/W2093056009","https://openalex.org/W2098799476","https://openalex.org/W2114809327","https://openalex.org/W2136482194","https://openalex.org/W2150758640","https://openalex.org/W2164790592","https://openalex.org/W2466883591","https://openalex.org/W4240103866","https://openalex.org/W4299134385","https://openalex.org/W6719647847","https://openalex.org/W6844617667"],"related_works":["https://openalex.org/W2171171876","https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1553537032","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412"],"abstract_inverted_index":{"This":[0],"paper":[1],"is":[2,62],"about":[3,90],"the":[4,16,45,59],"application":[5],"of":[6,18,32,47],"formal":[7,40,60],"methods":[8],"to":[9,35,93],"model":[10,61,70],"and":[11,49],"analyze":[12],"complex":[13,53],"systems":[14],"in":[15,85],"context":[17],"Intelligent":[19],"Transport":[20],"Systems":[21],"(ITS).":[22],"It":[23],"suggests":[24],"a":[25,30,37,79],"specification":[26],"methodology":[27,43],"based":[28],"on":[29,58],"set":[31],"UML":[33],"diagrams":[34],"generate":[36],"complete":[38],"analyzable":[39],"model.":[41],"The":[42,55,73],"integrates":[44],"requirements":[46],"incremental":[48],"modular":[50],"development":[51],"for":[52],"systems.":[54],"analysis":[56],"made":[57],"carried":[63],"out":[64],"through":[65],"qualitative":[66],"criteria,":[67],"verified":[68],"by":[69,78],"checking":[71],"tools.":[72],"proposed":[74],"guidelines":[75],"are":[76],"illustrated":[77],"case":[80],"study":[81],"which":[82],"considers":[83],"cars":[84],"traffic":[86],"situations,":[87],"exchanging":[88],"information":[89],"their":[91,97],"states":[92],"reach":[94],"consistency":[95],"among":[96],"driving":[98],"decisions.":[99]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}