{"id":"https://openalex.org/W1512386609","doi":"https://doi.org/10.3233/fi-2015-1173","title":"Persistent and Nonviolent Steps and the Design of GALS Systems","display_name":"Persistent and Nonviolent Steps and the Design of GALS Systems","publication_year":2015,"publication_date":"2015-04-01","ids":{"openalex":"https://openalex.org/W1512386609","doi":"https://doi.org/10.3233/fi-2015-1173","mag":"1512386609"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2015-1173","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2015-1173","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"type":"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/A5033909939","display_name":"Johnson Fernandes","orcid":null},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Johnson Fernandes","raw_affiliation_strings":["School of Electrical & Electronic Eng., Newcastle University, Newcastle upon Tyne, NE1 7RU, U.K","School of Electrical and Electronic Engineering, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K"],"affiliations":[{"raw_affiliation_string":"School of Electrical & Electronic Eng., Newcastle University, Newcastle upon Tyne, NE1 7RU, U.K","institution_ids":[]},{"raw_affiliation_string":"School of Electrical and Electronic Engineering, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042490356","display_name":"Maciej Koutny","orcid":"https://orcid.org/0000-0003-4563-1378"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maciej Koutny","raw_affiliation_strings":["School of Electrical & Electronic Eng., Newcastle University, Newcastle upon Tyne, NE1 7RU, U.K","School of Computing Science, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K"],"affiliations":[{"raw_affiliation_string":"School of Electrical & Electronic Eng., Newcastle University, Newcastle upon Tyne, NE1 7RU, U.K","institution_ids":[]},{"raw_affiliation_string":"School of Computing Science, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036094384","display_name":"\u0141ukasz Mikulski","orcid":"https://orcid.org/0000-0002-6711-557X"},"institutions":[{"id":"https://openalex.org/I3019271933","display_name":"Nicolaus Copernicus University","ror":"https://ror.org/0102mm775","country_code":"PL","type":"education","lineage":["https://openalex.org/I3019271933"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"\u0141ukasz Mikulski","raw_affiliation_strings":["School of Electrical & Electronic Eng., Newcastle University, Newcastle upon Tyne, NE1 7RU, U.K","Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toru\u0144, Chopina 12/18, Poland"],"affiliations":[{"raw_affiliation_string":"School of Electrical & Electronic Eng., Newcastle University, Newcastle upon Tyne, NE1 7RU, U.K","institution_ids":[]},{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toru\u0144, Chopina 12/18, Poland","institution_ids":["https://openalex.org/I3019271933"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113869019","display_name":"Marta Pietkiewicz-Koutny","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marta Pietkiewicz-Koutny","raw_affiliation_strings":["School of Electrical & Electronic Eng., Newcastle University, Newcastle upon Tyne, NE1 7RU, U.K","School of Computing Science, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K"],"affiliations":[{"raw_affiliation_string":"School of Electrical & Electronic Eng., Newcastle University, Newcastle upon Tyne, NE1 7RU, U.K","institution_ids":[]},{"raw_affiliation_string":"School of Computing Science, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015272875","display_name":"Danil Sokolov","orcid":"https://orcid.org/0000-0002-4030-0089"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Danil Sokolov","raw_affiliation_strings":["School of Electrical & Electronic Eng., Newcastle University, Newcastle upon Tyne, NE1 7RU, U.K","School of Electrical and Electronic Engineering, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K"],"affiliations":[{"raw_affiliation_string":"School of Electrical & Electronic Eng., Newcastle University, Newcastle upon Tyne, NE1 7RU, U.K","institution_ids":[]},{"raw_affiliation_string":"School of Electrical and Electronic Engineering, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029446985","display_name":"Alex Yakovlev","orcid":"https://orcid.org/0000-0003-0826-9330"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alex Yakovlev","raw_affiliation_strings":["School of Electrical & Electronic Eng., Newcastle University, Newcastle upon Tyne, NE1 7RU, U.K","School of Electrical and Electronic Engineering, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K"],"affiliations":[{"raw_affiliation_string":"School of Electrical & Electronic Eng., Newcastle University, Newcastle upon Tyne, NE1 7RU, U.K","institution_ids":[]},{"raw_affiliation_string":"School of Electrical and Electronic Engineering, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5033909939"],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":null,"apc_paid":null,"fwci":1.7526,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.84512983,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"137","issue":"1","first_page":"143","last_page":"170"},"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.9998000264167786,"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.9998000264167786,"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.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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.4941430389881134},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3237464427947998},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3233625888824463}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4941430389881134},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3237464427947998},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3233625888824463}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/fi-2015-1173","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2015-1173","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:eprint.ncl.ac.uk:197885","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402485","display_name":"Newcastle University ePrints (Newcastle Univesity)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I84884186","host_organization_name":"Newcastle University","host_organization_lineage":["https://openalex.org/I84884186"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3188201065","display_name":null,"funder_award_id":"EP/K001698/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4912748367","display_name":null,"funder_award_id":"EP/I038551/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W173209044","https://openalex.org/W182067778","https://openalex.org/W186740131","https://openalex.org/W1507507765","https://openalex.org/W1533222648","https://openalex.org/W1533935241","https://openalex.org/W1577323490","https://openalex.org/W1609287256","https://openalex.org/W1738474426","https://openalex.org/W1966992415","https://openalex.org/W1988896543","https://openalex.org/W2001250066","https://openalex.org/W2010831447","https://openalex.org/W2063705546","https://openalex.org/W2083823717","https://openalex.org/W2116651175","https://openalex.org/W2130114629","https://openalex.org/W2130434989","https://openalex.org/W2131308327","https://openalex.org/W2150872535","https://openalex.org/W2550206056","https://openalex.org/W3210523556"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880"],"abstract_inverted_index":{"A":[0],"concurrent":[1,131,136,313],"system":[2,39,107,123],"is":[3,26,40,64,108,119],"persistent":[4,223,304],"if":[5,37],"throughout":[6],"its":[7],"operation":[8],"no":[9],"activity":[10,63],"which":[11,69,221,234,279],"became":[12],"enabled":[13],"can":[14,70,158,282],"subsequently":[15],"be":[16,42,71,159,226,283],"prevented":[17],"from":[18],"being":[19],"executed":[20,160],"by":[21,75,128,228],"any":[22],"other":[23,229,240],"activity.":[24],"This":[25],"often":[27],"a":[28,65,76,80,106,114,162,245,249,260,276,286],"highly":[29],"desirable":[30],"(or":[31],"even":[32],"necessary)":[33],"property;":[34],"in":[35,44,57,97,110,147,152,161,183,198,280,285],"particular,":[36],"the":[38,47,88,98,111,122,135,140,184,199,210,257,273,291],"to":[41,120,124,209,255],"implemented":[43,284],"hardware.":[45],"Over":[46],"past":[48],"40":[49],"years,":[50],"persistence":[51],"has":[52],"been":[53],"investigated":[54],"and":[55,177,180,216,224,237,251,305],"applied":[56],"practical":[58],"implementations":[59],"assuming":[60],"that":[61,150,155,175,263,310],"each":[62],"single":[66,77,163],"atomic":[67],"action":[68],"represented,":[72],"for":[73,169],"example,":[74],"transition":[78],"of":[79,90,100,105,113,139,173,190,201,212,248,259,275,294,303],"Petri":[81,115,142,288],"net.":[82,116],"In":[83,204],"this":[84,205],"paper":[85],"we":[86,144,207],"investigate":[87],"behaviour":[89,258,274],"GALS":[91],"(Globally":[92],"Asynchronous":[93],"Locally":[94],"Synchronous)":[95],"systems":[96],"context":[99,200],"VLSI":[101],"circuits.":[102],"The":[103,166,268,297],"specification":[104],"given":[109,141],"form":[112],"Our":[117],"aim":[118],"re-design":[121],"optimise":[125],"signal":[126],"management,":[127],"grouping":[129],"together":[130],"events.":[132,191],"Looking":[133],"at":[134],"reachability":[137,270,301],"graph":[138,271],"net,":[143],"are":[145,171,222,235],"interested":[146],"discovering":[148],"events":[149,174],"appear":[151,176],"\u2018bundles\u2019,":[153],"so":[154,195,262],"they":[156],"all":[157],"clock":[164],"tick.":[165],"best":[167],"candidates":[168],"bundles":[170,309],"sets":[172,189],"re-appear":[178],"over":[179,181],"again":[182],"same":[185],"configurations,":[186],"forming":[187],"\u2018persistent\u2019":[188],"Persistence":[192],"was":[193],"considered":[194],"far":[196],"only":[197,219,264],"sequential":[202],"semantics.":[203],"paper,":[206],"move":[208],"realm":[211],"step":[213],"based":[214],"execution":[215],"consider":[217],"not":[218],"steps":[220,233,266],"cannot":[225,238],"disabled":[227],"steps,":[230],"but":[231],"also":[232],"nonviolent":[236],"disable":[239],"steps.":[241,314],"We":[242],"then":[243],"introduce":[244],"formal":[246],"definition":[247],"bundle":[250],"propose":[252],"an":[253],"algorithm":[254,299],"prune":[256],"system,":[261,278],"bundled":[265],"remain.":[267],"pruned":[269],"represents":[272],"re-engineered":[277],"turn":[281],"new":[287],"net":[289,295],"using":[290],"standard":[292],"techniques":[293],"synthesis.":[296],"proposed":[298],"prunes":[300],"graphs":[302],"safe":[306],"nets":[307],"leaving":[308],"represent":[311],"maximally":[312]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}