{"id":"https://openalex.org/W2069413863","doi":"https://doi.org/10.1109/acsd.2013.14","title":"On Cyclic Behaviour of Unbounded Petri Nets","display_name":"On Cyclic Behaviour of Unbounded Petri Nets","publication_year":2013,"publication_date":"2013-07-01","ids":{"openalex":"https://openalex.org/W2069413863","doi":"https://doi.org/10.1109/acsd.2013.14","mag":"2069413863"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/acsd.2013.14","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","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/A5048929293","display_name":"J\u00f6rg Desel","orcid":null},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"University of Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Jorg Desel","raw_affiliation_strings":["Fak. fur Math. und Inf., FernUniv. in Hagen, Hagen, Germany"],"affiliations":[{"raw_affiliation_string":"Fak. fur Math. und Inf., FernUniv. in Hagen, Hagen, Germany","institution_ids":["https://openalex.org/I120691247"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5048929293"],"corresponding_institution_ids":["https://openalex.org/I120691247"],"apc_list":null,"apc_paid":null,"fwci":0.727,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":5,"citation_normalized_percentile":{"value":0.597879,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":80,"max":81},"biblio":{"volume":null,"issue":null,"first_page":"110","last_page":"119"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998,"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.9998,"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/T10142","display_name":"Formal Methods in Verification","score":0.997,"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.9964,"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/transition-system","display_name":"Transition system","score":0.590145},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4719735}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.93221676},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.88282025},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.6107442},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.590145},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.53797734},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.5339998},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5262964},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4719735},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4663398},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3755327},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3682009},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36661148},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24202085},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/acsd.2013.14","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":15,"referenced_works":["https://openalex.org/W1551214605","https://openalex.org/W1570743953","https://openalex.org/W1576317809","https://openalex.org/W1594151678","https://openalex.org/W2005309474","https://openalex.org/W2008435081","https://openalex.org/W2033839526","https://openalex.org/W2044858512","https://openalex.org/W2106001218","https://openalex.org/W2137797793","https://openalex.org/W2158243788","https://openalex.org/W2705904738","https://openalex.org/W2761740776","https://openalex.org/W3100477869","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2499946963","https://openalex.org/W2380814829","https://openalex.org/W2353505923","https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W2039577724","https://openalex.org/W1980200158","https://openalex.org/W1551903405","https://openalex.org/W1531156418","https://openalex.org/W1500907979"],"abstract_inverted_index":{"Cycles":[0],"in":[1,20,37,93,114,124],"state":[2,13,31,69],"spaces":[3],"represent":[4,100],"repetitive":[5],"behaviour":[6,70,120,182],"of":[7,25,143,157,166,170,175],"system":[8,27],"models.":[9],"Runs":[10],"reproducing":[11],"some":[12],"have":[14],"important":[15],"interpretations,":[16],"for":[17,49,54,87],"example":[18],"rounds":[19],"distributed":[21],"algorithms.":[22],"In":[23],"case":[24],"unbounded":[26,88],"models":[28],"with":[29,67],"infinite":[30,68],"space,":[32],"cycles":[33,147,158],"cannot":[34],"be":[35,122],"found":[36,123],"a":[38,60,91,101,116,125,130,135,138,151],"straightforward":[39],"way.":[40],"For":[41],"Petri":[42,171],"nets,":[43,172],"transition":[44,56,109,176],"invariants":[45],"provide":[46],"necessary":[47],"conditions":[48],"cyclic":[50,102,119],"behaviour,":[51],"but":[52],"not":[53,98,184],"every":[55],"invariant":[57,110],"there":[58],"is":[59,71,148,159],"corresponding":[61],"cycle.":[62,139],"Another":[63],"approach":[64],"to":[65,72,132,186],"deal":[66],"consider":[73],"finite":[74,141],"coverability":[75,95,112],"graphs":[76,80],"which":[77],"generalize":[78],"reachability":[79],"by":[81,150],"adding":[82],"the":[83,94,107,155,180],"value":[84],"\"arbitrary":[85],"many\"":[86],"places.":[89],"Unfortunately,":[90],"cycle":[92],"graph":[96,113],"does":[97,183],"necessarily":[99],"behaviour.":[103],"This":[104,128],"paper":[105],"combines":[106],"concepts":[108],"and":[111],"such":[115,178],"way":[117,131],"that":[118,154,179],"can":[121],"combined":[126],"graph.":[127],"implies":[129],"decide":[133],"whether":[134],"sequence":[136],"constitutes":[137],"A":[140],"representation":[142],"all":[144],"(infinitely":[145],"many)":[146],"implied":[149],"result":[152],"stating":[153],"set":[156],"semi-linear.":[160],"We":[161],"also":[162],"discuss":[163],"an":[164],"application":[165],"this":[167],"concept:":[168],"schedulability":[169],"i.e.,":[173],"control":[174],"occurrences":[177],"controlled":[181],"lead":[185],"arbitrary":[187],"token":[188],"growth":[189],"on":[190],"any":[191],"place.":[192]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2069413863","counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2024-12-11T07:41:50.367770","created_date":"2016-06-24"}