{"id":"https://openalex.org/W2097329701","doi":"https://doi.org/10.1109/acc.2009.5159892","title":"Basic qualitative properties of Petri nets with multi-guarded transitions","display_name":"Basic qualitative properties of Petri nets with multi-guarded transitions","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2097329701","doi":"https://doi.org/10.1109/acc.2009.5159892","mag":"2097329701"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2009.5159892","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2009.5159892","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 American Control Conference","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/A5108221883","display_name":"Jorge J\u00falvez","orcid":null},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Jorge Julvez","raw_affiliation_strings":["Department of Software, Universitat Polilt\u00e8cnica de Catalunya, Spain","Department of Software, Universitat Polit\u00e8cnica de Catalunya, Spain#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Software, Universitat Polilt\u00e8cnica de Catalunya, Spain","institution_ids":["https://openalex.org/I9617848"]},{"raw_affiliation_string":"Department of Software, Universitat Polit\u00e8cnica de Catalunya, Spain#TAB#","institution_ids":["https://openalex.org/I9617848"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5108221883"],"corresponding_institution_ids":["https://openalex.org/I9617848"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"815","issue":null,"first_page":"5026","last_page":"5031"},"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.9998999834060669,"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.9998999834060669,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9970999956130981,"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"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9969000220298767,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.9265725612640381},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9011327028274536},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8106971979141235},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7571934461593628},{"id":"https://openalex.org/keywords/guard","display_name":"Guard (computer science)","score":0.5313323736190796},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5152688026428223},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.4435102939605713},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.43827471137046814},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42350855469703674},{"id":"https://openalex.org/keywords/multiplexer","display_name":"Multiplexer","score":0.4184437096118927},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19700175523757935},{"id":"https://openalex.org/keywords/multiplexing","display_name":"Multiplexing","score":0.1662798523902893}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9265725612640381},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9011327028274536},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8106971979141235},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7571934461593628},{"id":"https://openalex.org/C141141315","wikidata":"https://www.wikidata.org/wiki/Q2379942","display_name":"Guard (computer science)","level":2,"score":0.5313323736190796},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5152688026428223},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.4435102939605713},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.43827471137046814},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42350855469703674},{"id":"https://openalex.org/C70970002","wikidata":"https://www.wikidata.org/wiki/Q189434","display_name":"Multiplexer","level":3,"score":0.4184437096118927},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19700175523757935},{"id":"https://openalex.org/C19275194","wikidata":"https://www.wikidata.org/wiki/Q222903","display_name":"Multiplexing","level":2,"score":0.1662798523902893},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/acc.2009.5159892","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2009.5159892","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 American Control Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1301045","https://openalex.org/W186800394","https://openalex.org/W1526654454","https://openalex.org/W1535002487","https://openalex.org/W1993742654","https://openalex.org/W1995125339","https://openalex.org/W1996109622","https://openalex.org/W2068247526","https://openalex.org/W2072389619","https://openalex.org/W2103451702","https://openalex.org/W2130630281","https://openalex.org/W2132520462","https://openalex.org/W2145413322","https://openalex.org/W3146457592","https://openalex.org/W6631655576","https://openalex.org/W6632203995"],"related_works":["https://openalex.org/W4312626387","https://openalex.org/W1651168384","https://openalex.org/W2103504376","https://openalex.org/W2153337086","https://openalex.org/W1989082972","https://openalex.org/W2790897865","https://openalex.org/W2015160737","https://openalex.org/W1583061463","https://openalex.org/W2161605176","https://openalex.org/W3125880387"],"abstract_inverted_index":{"In":[0],"many":[1],"discrete":[2],"event":[3],"dynamic":[4],"systems,":[5],"there":[6],"exist":[7],"tasks":[8],"that":[9],"can":[10,31,56,76],"start":[11],"performing":[12],"before":[13],"every":[14],"input":[15],"data":[16,37,47],"is":[17,26,38,88,119],"available.":[18],"A":[19],"common":[20],"device":[21],"exhibiting":[22],"such":[23],"a":[24,66,74,116,122],"feature":[25],"the":[27,41,49,81,85,93,99],"multiplexer:":[28],"its":[29],"output":[30],"be":[32,57],"produced":[33],"as":[34,36,78,80],"soon":[35,79],"available":[39],"in":[40,48],"selected":[42,83],"channel":[43],"without":[44],"waiting":[45],"for":[46,84],"other":[50],"channels.":[51],"The":[52,127],"Petri":[53],"net":[54],"formalism":[55],"easily":[58],"extended":[59],"to":[60,98,121],"model":[61],"this":[62,72],"behavior":[63],"by":[64],"allowing":[65],"transition":[67,75],"have":[68],"several":[69,125],"guards.":[70,126],"Under":[71],"extension,":[73],"fire":[77],"guard":[82],"next":[86],"firing":[87],"satisfied,":[89],"what":[90],"usually":[91],"enhances":[92],"system":[94,118,123],"performance":[95],"with":[96,124],"respect":[97],"conventional":[100,117],"ldquomono-guardedrdquo":[101],"system.":[102],"This":[103],"paper":[104],"explores":[105],"how":[106],"some":[107],"fundamental":[108],"qualitative":[109],"properties":[110,129],"are":[111,131],"preserved":[112],"or":[113],"lost":[114],"when":[115],"transformed":[120],"main":[128],"studied":[130],"reachability,":[132],"boundedness,":[133],"and":[134],"liveness.":[135]},"counts_by_year":[{"year":2013,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}