{"id":"https://openalex.org/W4388276190","doi":"https://doi.org/10.48550/arxiv.2311.00629","title":"Formal Translation from Reversing Petri Nets to Coloured Petri Nets","display_name":"Formal Translation from Reversing Petri Nets to Coloured Petri Nets","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4388276190","doi":"https://doi.org/10.48550/arxiv.2311.00629"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2311.00629","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"posted-content","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/abs/2311.00629","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039566000","display_name":"Kamila Barylska","orcid":"https://orcid.org/0000-0002-5098-4816"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Barylska, Kamila","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017708657","display_name":"Anna Gogoli\u0144ska","orcid":"https://orcid.org/0000-0002-7073-5729"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gogolinska, Anna","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036094384","display_name":"\u0141ukasz Mikulski","orcid":"https://orcid.org/0000-0002-6711-557X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mikulski, Lukasz","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078957431","display_name":"Anna Philippou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Philippou, Anna","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035532665","display_name":"Marcin Pi\u0105tkowski","orcid":"https://orcid.org/0000-0001-5636-9497"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Piatkowski, Marcin","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5061911254","display_name":"Kyriaki Psara","orcid":"https://orcid.org/0000-0002-6554-7950"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Psara, Kyriaki","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":67},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9916,"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/T12029","display_name":"DNA and Biological Computing","score":0.9731,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reversing","display_name":"Reversing","score":0.7593},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5226519}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8632577},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.7884859},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.77603245},{"id":"https://openalex.org/C2781085045","wikidata":"https://www.wikidata.org/wiki/Q7318308","display_name":"Reversing","level":2,"score":0.7593},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5226519},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.49194524},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46763447},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.4326511},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39698192},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33551624},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.08461061},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07845214},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C171146098","wikidata":"https://www.wikidata.org/wiki/Q124192","display_name":"Automotive engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2311.00629","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.00629","pdf_url":"http://arxiv.org/pdf/2311.00629","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.2311.00629","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210145204","host_organization_name":"DataCite","host_organization_lineage":["https://openalex.org/I4210145204"],"host_organization_lineage_names":["DataCite"],"type":"metadata"},"license":null,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2311.00629","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W597347111","https://openalex.org/W2901841247","https://openalex.org/W2355954834","https://openalex.org/W2285444239","https://openalex.org/W2257573499","https://openalex.org/W2158814988","https://openalex.org/W2126080849","https://openalex.org/W2091260341","https://openalex.org/W1938017683","https://openalex.org/W1543378523"],"abstract_inverted_index":{"Reversible":[0],"computation":[1,32],"is":[2,80],"an":[3,133],"emerging":[4],"computing":[5],"paradigm":[6],"that":[7,62,86,247,264],"allows":[8,164,248],"any":[9,20],"sequence":[10],"of":[11,40,59,68,83,104,123,128,135,167,181,193,251,255,276],"operations":[12],"to":[13,36,91,125,151,171,200,213,227,241],"be":[14,88],"executed":[15],"in":[16,27,173,225],"reverse":[17,214],"order":[18],"at":[19],"point":[21],"during":[22],"computation.":[23],"Its":[24],"appeal":[25],"lies":[26],"its":[28,34],"potential":[29],"for":[30,238,271],"lowpower":[31],"and":[33,49,74,274],"relevance":[35],"a":[37,56,98,117,121,161,174,202,235,244,262],"wide":[38],"array":[39],"applications":[41],"such":[42],"as":[43],"chemical":[44],"reactions,":[45],"quantum":[46],"computation,":[47],"robotics,":[48],"distributed":[50],"systems.":[51],"Reversing":[52],"Petri":[53,60,130,137],"nets":[54,61,138],"are":[55,184,197,211],"recently-proposed":[57],"extension":[58,134],"implements":[63,265],"the":[64,81,102,126,149,158,168,178,194,216,229,252,269],"three":[65,179,253],"main":[66],"forms":[67],"reversibility,":[69,182],"namely,":[70],"backtracking,":[71],"causal":[72,188],"reversing,":[73],"out-of-causal-order":[75],"reversing.":[76],"Their":[77],"distinguishing":[78],"feature":[79],"use":[82],"named":[84],"tokens":[85,95,140,166,183,192],"can":[87],"combined":[89],"together":[90],"form":[92],"bonds.":[93],"Named":[94],"along":[96],"with":[97,154,186],"history":[99,189],"function,":[100],"constitute":[101],"means":[103],"remembering":[105],"past":[106],"behaviour,":[107],"thus,":[108],"enabling":[109],"reversal.":[110],"In":[111,144],"recent":[112],"work,":[113],"we":[114,147],"have":[115,219],"proposed":[116],"structural":[118],"translation":[119,150],"from":[120],"subclass":[122],"RPNs":[124,153,240],"model":[127,162],"Coloured":[129],"Nets":[131],"(CPNs),":[132],"traditional":[136],"where":[139],"carry":[141],"data":[142],"values.":[143],"this":[145,266],"paper,":[146],"extend":[148],"handle":[152],"token":[155,232],"multiplicity":[156],"under":[157],"individual-token":[159],"interpretation,":[160],"which":[163],"multiple":[165],"same":[169,195],"type":[170,196],"exist":[172],"system.":[175],"To":[176],"support":[177],"types":[180,254],"associated":[185],"their":[187],"and,":[190],"while":[191],"equally":[198],"eligible":[199],"fire":[201],"transition":[203],"when":[204,207],"going":[205,208],"forward,":[206],"backwards":[209],"they":[210,218],"able":[212],"only":[215],"transitions":[217],"previously":[220],"fired.":[221],"The":[222,257],"new":[223],"translation,":[224,267],"addition":[226],"lifting":[228],"restriction":[230],"on":[231,261],"uniqueness,":[233],"presents":[234],"refined":[236],"approach":[237,246],"transforming":[239],"CPNs":[242],"through":[243],"unifying":[245],"instantiating":[249],"each":[250],"reversibility.":[256],"paper":[258],"also":[259],"reports":[260],"tool":[263],"paving":[268],"way":[270],"automated":[272],"translations":[273],"analysis":[275],"reversible":[277],"systems":[278],"using":[279],"CPN":[280],"Tools.":[281]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4388276190","counts_by_year":[],"updated_date":"2025-01-06T08:16:30.925442","created_date":"2023-11-03"}