{"id":"https://openalex.org/W1975432385","doi":"https://doi.org/10.1109/etfa.2014.7005080","title":"Petri net discovery of discrete event processes by computing t-invariants","display_name":"Petri net discovery of discrete event processes by computing t-invariants","publication_year":2014,"publication_date":"2014-09-01","ids":{"openalex":"https://openalex.org/W1975432385","doi":"https://doi.org/10.1109/etfa.2014.7005080","mag":"1975432385"},"language":"en","primary_location":{"id":"doi:10.1109/etfa.2014.7005080","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2014.7005080","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01067790","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057153523","display_name":"Tonatiuh Tapia-Flores","orcid":null},"institutions":[{"id":"https://openalex.org/I68368234","display_name":"Centro de Investigaci\u00f3n y de Estudios Avanzados del Instituto Polit\u00e9cnico Nacional","ror":"https://ror.org/009eqmr18","country_code":"MX","type":"facility","lineage":["https://openalex.org/I59361560","https://openalex.org/I68368234"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Tonatiuh Tapia-Flores","raw_affiliation_strings":["CINVESTAV Unidad Guadalajara, Zapopan, Mexico","INVESTAV Unidad Guadalajara. Av. del Bosque 1145, Col. El Baj\u00edo. 45019 Zapopan, Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CINVESTAV Unidad Guadalajara, Zapopan, Mexico","institution_ids":["https://openalex.org/I68368234"]},{"raw_affiliation_string":"INVESTAV Unidad Guadalajara. Av. del Bosque 1145, Col. El Baj\u00edo. 45019 Zapopan, Mexico","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071018359","display_name":"Ernesto L\u00f3pez-Mellado","orcid":"https://orcid.org/0000-0003-0880-7098"},"institutions":[{"id":"https://openalex.org/I68368234","display_name":"Centro de Investigaci\u00f3n y de Estudios Avanzados del Instituto Polit\u00e9cnico Nacional","ror":"https://ror.org/009eqmr18","country_code":"MX","type":"facility","lineage":["https://openalex.org/I59361560","https://openalex.org/I68368234"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Ernesto Lopez-Mellado","raw_affiliation_strings":["CINVESTAV Unidad Guadalajara, Zapopan, Mexico","INVESTAV Unidad Guadalajara. Av. del Bosque 1145, Col. El Baj\u00edo. 45019 Zapopan, Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CINVESTAV Unidad Guadalajara, Zapopan, Mexico","institution_ids":["https://openalex.org/I68368234"]},{"raw_affiliation_string":"INVESTAV Unidad Guadalajara. Av. del Bosque 1145, Col. El Baj\u00edo. 45019 Zapopan, Mexico","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111596036","display_name":"Ana Paula Estrada-Vargas","orcid":null},"institutions":[{"id":"https://openalex.org/I1342911587","display_name":"Oracle (United States)","ror":"https://ror.org/006c77m33","country_code":"US","type":"company","lineage":["https://openalex.org/I1342911587"]},{"id":"https://openalex.org/I4210133208","display_name":"Centro de Investigaci\u00f3n y Proyectos en Ambiente y Desarrollo","ror":"https://ror.org/03dgk3y06","country_code":"MX","type":"other","lineage":["https://openalex.org/I4210133208"]}],"countries":["MX","US"],"is_corresponding":false,"raw_author_name":"Ana Paula Estrada-Vargas","raw_affiliation_strings":["Oracle de M\u00e9xico S. A. de C. V. Av. de los Empresarios 135, Zapopan, Mexico","Oracle de M\u00e9xico S. A. de \u0421. V. Av. de los Empresarios 135, Col. Puerta de Hierro. 45110 Zapopan, Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oracle de M\u00e9xico S. A. de C. V. Av. de los Empresarios 135, Zapopan, Mexico","institution_ids":["https://openalex.org/I4210133208"]},{"raw_affiliation_string":"Oracle de M\u00e9xico S. A. de \u0421. V. Av. de los Empresarios 135, Col. Puerta de Hierro. 45110 Zapopan, Mexico","institution_ids":["https://openalex.org/I1342911587"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074798643","display_name":"Jean-Jacques Lesage","orcid":"https://orcid.org/0000-0002-3089-1487"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Jacques Lesage","raw_affiliation_strings":["LURPA, Ecole Normale Sup\u00e9rieure de Cachan, France","LURPA Ecole Normale Sup\u00e9rieure de Cachan. 61, Av. du Pr\u00e9sident Wilson. 94235 Cachan Cedex, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LURPA, Ecole Normale Sup\u00e9rieure de Cachan, France","institution_ids":["https://openalex.org/I11559806"]},{"raw_affiliation_string":"LURPA Ecole Normale Sup\u00e9rieure de Cachan. 61, Av. du Pr\u00e9sident Wilson. 94235 Cachan Cedex, France","institution_ids":["https://openalex.org/I11559806"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"2010","issue":null,"first_page":"1","last_page":"8"},"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.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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","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"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9991000294685364,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9916999936103821,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/petri-net","display_name":"Petri net","score":0.9466996788978577},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.878499448299408},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7196542024612427},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6632319688796997},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5923057794570923},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5537619590759277},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5531833171844482},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.47259172797203064},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43992969393730164},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.4217208921909332},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38447263836860657},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32056036591529846},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2218731939792633}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9466996788978577},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.878499448299408},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7196542024612427},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6632319688796997},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5923057794570923},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5537619590759277},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5531833171844482},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.47259172797203064},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43992969393730164},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.4217208921909332},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38447263836860657},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32056036591529846},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2218731939792633},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","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},{"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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/etfa.2014.7005080","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2014.7005080","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01067790v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01067790","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"19th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA'14), Sep 2014, Barcelone, Spain. paper 345, 8 p","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01067790v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01067790","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"19th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA'14), Sep 2014, Barcelone, Spain. paper 345, 8 p","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1490658580","https://openalex.org/W1508806467","https://openalex.org/W1522642647","https://openalex.org/W1968822691","https://openalex.org/W1969005071","https://openalex.org/W1980373437","https://openalex.org/W1984989470","https://openalex.org/W1991351652","https://openalex.org/W1994034660","https://openalex.org/W2017890276","https://openalex.org/W2032016914","https://openalex.org/W2098250644","https://openalex.org/W2102571511","https://openalex.org/W2108629956","https://openalex.org/W2139709458","https://openalex.org/W2143054232","https://openalex.org/W2160080234","https://openalex.org/W2171171550","https://openalex.org/W2556487477","https://openalex.org/W4252861488","https://openalex.org/W6630525199","https://openalex.org/W6645301304","https://openalex.org/W6729707864"],"related_works":["https://openalex.org/W1938017683","https://openalex.org/W2158814988","https://openalex.org/W1543378523","https://openalex.org/W1529681579","https://openalex.org/W2355954834","https://openalex.org/W2285444239","https://openalex.org/W2257573499","https://openalex.org/W2391570358","https://openalex.org/W860286187","https://openalex.org/W2355319912"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"the":[3,16,60,63,69,74,86],"problem":[4],"of":[5,18,39,62,76,96],"discovering":[6],"a":[7,29,33,77],"Petri":[8],"net":[9],"(PN)":[10],"from":[11,32,65,85],"sampled":[12],"events":[13],"sequences":[14],"representing":[15],"execution":[17,41],"industrial":[19],"or":[20],"business":[21],"processes":[22],"is":[23,43,46,67],"addressed":[24],"A":[25,56],"method":[26,87],"for":[27,58],"building":[28],"1-bounded":[30],"PN":[31,64,78],"single":[34],"event":[35],"sequence":[36],"S":[37,66],"composed":[38],"numerous":[40,94],"traces":[42],"presented;":[44],"it":[45],"based":[47],"on":[48,93],"determining":[49,73],"causal":[50],"and":[51,91],"concurrency":[52],"relations":[53],"between":[54],"tasks.":[55],"technique":[57],"computing":[59],"t-invariants":[61],"proposed;":[68],"obtained":[70],"invariants":[71],"allow":[72],"structure":[75],"that":[79],"executes":[80],"S.":[81],"The":[82],"algorithms":[83],"derived":[84],"have":[88],"been":[89],"implemented":[90],"tested":[92],"examples":[95],"diverse":[97],"complexity.":[98]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}