{"id":"https://openalex.org/W1506942668","doi":"https://doi.org/10.1109/cimca.2005.1631559","title":"Redundant Information Analysis in a Decomposed Petri Net Model","display_name":"Redundant Information Analysis in a Decomposed Petri Net Model","publication_year":2006,"publication_date":"2006-05-25","ids":{"openalex":"https://openalex.org/W1506942668","doi":"https://doi.org/10.1109/cimca.2005.1631559","mag":"1506942668"},"language":"en","primary_location":{"id":"doi:10.1109/cimca.2005.1631559","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cimca.2005.1631559","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5000618048","display_name":"Marcos Da Silveira","orcid":"https://orcid.org/0000-0002-2604-3645"},"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/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"M. Da Silveira","raw_affiliation_strings":["LAAS-CNRS, TOULOUSE - cedex 04, France","LAAS/CNRS, Toulouse"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAAS-CNRS, TOULOUSE - cedex 04, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"LAAS/CNRS, Toulouse","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033309118","display_name":"Michel Combacau","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/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"M. Combacau","raw_affiliation_strings":["LAAS-CNRS, TOULOUSE - cedex 04, France","LAAS/CNRS, Toulouse"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAAS-CNRS, TOULOUSE - cedex 04, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"LAAS/CNRS, Toulouse","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113487267","display_name":"Eduardo A. P. Portela","orcid":null},"institutions":[{"id":"https://openalex.org/I176838256","display_name":"Pontif\u00edcia Universidade Cat\u00f3lica do Paran\u00e1","ror":"https://ror.org/02x1vjk79","country_code":"BR","type":"education","lineage":["https://openalex.org/I176838256"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"E. Portela","raw_affiliation_strings":["Graduate Program on Production and Systems Engineering, Pontifical Catholic University of Paran\u00e1, Curitiba, Brazil","Pontifical Catholic University of Paran\u00e1, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate Program on Production and Systems Engineering, Pontifical Catholic University of Paran\u00e1, Curitiba, Brazil","institution_ids":["https://openalex.org/I176838256"]},{"raw_affiliation_string":"Pontifical Catholic University of Paran\u00e1, Brazil","institution_ids":["https://openalex.org/I176838256"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03895891,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":null,"first_page":"753","last_page":"758"},"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.9998000264167786,"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.9998000264167786,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9921000003814697,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7960081100463867},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6897945404052734},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.6162980198860168},{"id":"https://openalex.org/keywords/interdependence","display_name":"Interdependence","score":0.5807496309280396},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5644590854644775},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.564319372177124},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5105694532394409},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.48314470052719116},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4798133373260498},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.44270801544189453},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.43505680561065674},{"id":"https://openalex.org/keywords/information-system","display_name":"Information system","score":0.4295095205307007},{"id":"https://openalex.org/keywords/information-exchange","display_name":"Information exchange","score":0.4219497740268707},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.38470152020454407},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.22386452555656433},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.101421058177948},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09841877222061157}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7960081100463867},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6897945404052734},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.6162980198860168},{"id":"https://openalex.org/C185874996","wikidata":"https://www.wikidata.org/wiki/Q269699","display_name":"Interdependence","level":2,"score":0.5807496309280396},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5644590854644775},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.564319372177124},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5105694532394409},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.48314470052719116},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4798133373260498},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.44270801544189453},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.43505680561065674},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.4295095205307007},{"id":"https://openalex.org/C189693848","wikidata":"https://www.wikidata.org/wiki/Q6031064","display_name":"Information exchange","level":2,"score":0.4219497740268707},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.38470152020454407},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.22386452555656433},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.101421058177948},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09841877222061157},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cimca.2005.1631559","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cimca.2005.1631559","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W34476357","https://openalex.org/W1586678711","https://openalex.org/W1835708711","https://openalex.org/W1979004537","https://openalex.org/W2001511858","https://openalex.org/W2012534078","https://openalex.org/W2038858935","https://openalex.org/W2051661022","https://openalex.org/W2064123913","https://openalex.org/W2110598077","https://openalex.org/W2155660625","https://openalex.org/W2158051462","https://openalex.org/W2158941847","https://openalex.org/W2161490519","https://openalex.org/W4246415257","https://openalex.org/W6683955494"],"related_works":["https://openalex.org/W2169628522","https://openalex.org/W4252527915","https://openalex.org/W2409287660","https://openalex.org/W2233357156","https://openalex.org/W1976489385","https://openalex.org/W4256317220","https://openalex.org/W1506225852","https://openalex.org/W2010423808","https://openalex.org/W1981969630","https://openalex.org/W3125974161"],"abstract_inverted_index":{"Many":[0],"works":[1,27],"propose":[2,31],"to":[3,7,33,57,79,92,107,162,171,174],"use":[4],"decentralized":[5],"models":[6,37],"control":[8],"and":[9,91,131,170],"supervise":[10],"physical":[11,24],"systems.":[12],"The":[13],"decomposition":[14],"tasks":[15],"are,":[16],"often,":[17],"executed":[18],"by":[19,73,123,132,158],"an":[20],"expert":[21],"on":[22,39],"the":[23,48,59,62,74,81,87,94,99,109,112,124,128,133,136,141,159,164,176,181],"application.":[25],"Recent":[26],"developed":[28],"at":[29],"LAAS-CNRS":[30],"method":[32,43],"systematically":[34],"decompose":[35],"centralised":[36],"based":[38],"Petri":[40],"nets.":[41],"This":[42,147],"generates":[44],"redundant":[45,167],"information":[46,115,168],"between":[47,89,144],"sub-modules.":[49],"In":[50],"some":[51],"cases,":[52],"these":[53],"redundancies":[54],"are":[55],"necessary":[56],"guarantee":[58],"dependability":[60],"of":[61,101,114,126,135,152,166,180],"system":[63,182],"(by":[64,84,97],"duplicating":[65],"critical":[66],"information).":[67],"It":[68],"can":[69,120,155],"also":[70],"be":[71,105,121,156],"used":[72,157],"diagnosis":[75],"algorithm":[76],"in":[77],"order":[78],"improve":[80],"fault":[82],"isolation":[83],"pointing":[85],"out":[86],"relation":[88],"sub-models)":[90],"reduce":[93],"maintenance":[95],"costs":[96,118],"reducing":[98],"number":[100],"sub-models":[102],"that":[103,119,154],"must":[104],"modified":[106],"update":[108],"system).":[110],"However,":[111],"duplication":[113],"introduce":[116],"extra":[117],"observed":[122],"complexity":[125],"keeping":[127],"data":[129,142],"coherence":[130],"surcharge":[134],"communication":[137],"network":[138],"coming":[139],"from":[140],"exchange":[143],"interdependent":[145],"sub-models.":[146],"paper":[148],"presents":[149],"a":[150],"set":[151],"indicators":[153],"designer's":[160],"team":[161],"evaluate":[163],"consequences":[165],"introduction":[169],"help":[172],"them":[173],"decide":[175],"most":[177],"appropriated":[178],"configuration":[179]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}