{"id":"https://openalex.org/W2295260349","doi":"https://doi.org/10.5220/0005513000880094","title":"Fault Detection by Backwards Analysis in Coloured Workflow Nets","display_name":"Fault Detection by Backwards Analysis in Coloured Workflow Nets","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2295260349","doi":"https://doi.org/10.5220/0005513000880094","mag":"2295260349"},"language":"en","primary_location":{"id":"doi:10.5220/0005513000880094","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005513000880094","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0005513000880094","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049672297","display_name":"Vasilii Ganishev","orcid":null},"institutions":[{"id":"https://openalex.org/I171241948","display_name":"Moscow Power Engineering Institute","ror":"https://ror.org/05sa6gg87","country_code":"RU","type":"education","lineage":["https://openalex.org/I171241948"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Vasilii Ganishev","raw_affiliation_strings":["National Research University \"Moscow Power Engineering Institute\", Russian Federation"],"affiliations":[{"raw_affiliation_string":"National Research University \"Moscow Power Engineering Institute\", Russian Federation","institution_ids":["https://openalex.org/I171241948"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027703994","display_name":"Olga Fengler","orcid":null},"institutions":[{"id":"https://openalex.org/I119449181","display_name":"Technische Universit\u00e4t Ilmenau","ror":"https://ror.org/01weqhp73","country_code":"DE","type":"education","lineage":["https://openalex.org/I119449181"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Olga Fengler","raw_affiliation_strings":["TU Ilmenau, Germany"],"affiliations":[{"raw_affiliation_string":"TU Ilmenau, Germany","institution_ids":["https://openalex.org/I119449181"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002751710","display_name":"Wolfgang Fengler","orcid":null},"institutions":[{"id":"https://openalex.org/I119449181","display_name":"Technische Universit\u00e4t Ilmenau","ror":"https://ror.org/01weqhp73","country_code":"DE","type":"education","lineage":["https://openalex.org/I119449181"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wolfgang Fengler","raw_affiliation_strings":["TU Ilmenau, Germany"],"affiliations":[{"raw_affiliation_string":"TU Ilmenau, Germany","institution_ids":["https://openalex.org/I119449181"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5049672297"],"corresponding_institution_ids":["https://openalex.org/I171241948"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22705296,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"88","last_page":"94"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9965000152587891,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9965000152587891,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9524999856948853,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9229000210762024,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8310863971710205},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7777276039123535},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7099948525428772},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6731840968132019},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6702108383178711},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.55770343542099},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.48963242769241333},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4572242796421051},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4455045759677887},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4420911967754364},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43268248438835144},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42918404936790466},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.42106425762176514},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4112669825553894},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4056643843650818},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3647453188896179},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.160969078540802},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1566615104675293}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8310863971710205},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7777276039123535},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7099948525428772},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6731840968132019},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6702108383178711},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.55770343542099},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.48963242769241333},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4572242796421051},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4455045759677887},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4420911967754364},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43268248438835144},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42918404936790466},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.42106425762176514},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4112669825553894},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4056643843650818},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3647453188896179},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.160969078540802},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1566615104675293},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0005513000880094","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005513000880094","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5220/0005513000880094","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005513000880094","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.5199999809265137,"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W1500907979","https://openalex.org/W1551903405","https://openalex.org/W2039577724","https://openalex.org/W2380814829","https://openalex.org/W2499946963","https://openalex.org/W2387511021","https://openalex.org/W1531156418","https://openalex.org/W2095048141"],"abstract_inverted_index":{"The":[0,37,58],"increasing":[1],"complexity":[2],"of":[3,13,23,29,63,79],"the":[4,14,33,61,80],"business":[5],"processes":[6],"requires":[7],"automated":[8],"methods":[9,40],"for":[10,32,66],"trouble-shooting":[11],"and\r\n\r\ndebugging":[12],"process":[15],"model":[16],"in":[17],"operation.":[18],"This":[19,72],"paper":[20],"proposes":[21],"mechanism":[22],"fault":[24,87],"detection":[25],"based":[26],"on":[27,69],"the\r\n\r\nconcept":[28],"backwards":[30,67],"reachability":[31],"coloured":[34,42],"workflow":[35],"nets.":[36],"formal":[38],"verification":[39],"defined\r\n\r\nfor":[41],"Petri":[43],"nets":[44],"such":[45],"as":[46],"state":[47],"space":[48],"method":[49,73],"or":[50],"place":[51],"invariants":[52],"declaration":[53],"suffer":[54],"from":[55],"fast-growing\r\n\r\ncomputational":[56],"complexity.":[57],"article":[59],"offers":[60],"set":[62],"firing":[64],"rules":[65],"token-play":[68],"coloured\r\n\r\nworkflow":[70],"net.":[71],"helps":[74],"to":[75],"detect":[76],"resource-related":[77],"failures":[78],"two":[81],"most":[82],"common":[83],"types:":[84],"\u00e2\u0080\u009dthe\r\n\r\nmissing":[85],"arc\u00e2\u0080\u009d":[86],"(the":[88],"resource":[89],"was":[90],"not":[91],"initialized)":[92],"and":[93],"\u00e2\u0080\u009dwrong":[94],"expression":[95],"fault\u00e2\u0080\u009d":[96],"(there":[97],"is":[98],"no":[99],"proper":[100],"resource).":[101]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}