{"id":"https://openalex.org/W1967285170","doi":"https://doi.org/10.1002/(sici)1520-684x(19990615)30:6<13::aid-scj2>3.0.co;2-m","title":"State fence diagrams?A graphical representation for designing reactive systems","display_name":"State fence diagrams?A graphical representation for designing reactive systems","publication_year":1999,"publication_date":"1999-06-15","ids":{"openalex":"https://openalex.org/W1967285170","doi":"https://doi.org/10.1002/(sici)1520-684x(19990615)30:6<13::aid-scj2>3.0.co;2-m","mag":"1967285170"},"language":"en","primary_location":{"id":"doi:10.1002/(sici)1520-684x(19990615)30:6<13::aid-scj2>3.0.co;2-m","is_oa":false,"landing_page_url":"https://doi.org/10.1002/(sici)1520-684x(19990615)30:6<13::aid-scj2>3.0.co;2-m","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","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/A5103432879","display_name":"Hiromi Kobayashi","orcid":null},"institutions":[{"id":"https://openalex.org/I1314466530","display_name":"Tokai University","ror":"https://ror.org/01p7qe739","country_code":"JP","type":"education","lineage":["https://openalex.org/I1314466530"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hiromi Kobayashi","raw_affiliation_strings":["Department of Management Engineering, Tokai University, Hiratsuka, Japan 259-1292","Department of Management Engineering, Tokai University, Hiratsuka, Japan 259\u20101292"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Management Engineering, Tokai University, Hiratsuka, Japan 259-1292","institution_ids":["https://openalex.org/I1314466530"]},{"raw_affiliation_string":"Department of Management Engineering, Tokai University, Hiratsuka, Japan 259\u20101292","institution_ids":["https://openalex.org/I1314466530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076745592","display_name":"Satoru Ichinose","orcid":null},"institutions":[{"id":"https://openalex.org/I137975476","display_name":"Shinshu University","ror":"https://ror.org/0244rem06","country_code":"JP","type":"education","lineage":["https://openalex.org/I137975476"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Satoru Ichinose","raw_affiliation_strings":["Department of Information Engineering, Shinshu University, Nagano, Japan 380-0922","Department of Information Engineering, Shinshu University, Nagano, Japan 380\u20100922"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Shinshu University, Nagano, Japan 380-0922","institution_ids":["https://openalex.org/I137975476"]},{"raw_affiliation_string":"Department of Information Engineering, Shinshu University, Nagano, Japan 380\u20100922","institution_ids":["https://openalex.org/I137975476"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055549852","display_name":"Yasunari Shidama","orcid":"https://orcid.org/0000-0001-5634-0838"},"institutions":[{"id":"https://openalex.org/I137975476","display_name":"Shinshu University","ror":"https://ror.org/0244rem06","country_code":"JP","type":"education","lineage":["https://openalex.org/I137975476"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yasunari Shidama","raw_affiliation_strings":["Department of Information Engineering, Shinshu University, Nagano, Japan 380-0922","Department of Information Engineering, Shinshu University, Nagano, Japan 380\u20100922"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Shinshu University, Nagano, Japan 380-0922","institution_ids":["https://openalex.org/I137975476"]},{"raw_affiliation_string":"Department of Information Engineering, Shinshu University, Nagano, Japan 380\u20100922","institution_ids":["https://openalex.org/I137975476"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10685535,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"30","issue":"6","first_page":"13","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/computer-science","display_name":"Computer science","score":0.6813150644302368},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5551730990409851},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5469867587089539},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5336955785751343},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5229631066322327},{"id":"https://openalex.org/keywords/fence","display_name":"Fence (mathematics)","score":0.5189059376716614},{"id":"https://openalex.org/keywords/diagram","display_name":"Diagram","score":0.4993882179260254},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.49910664558410645},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4906221926212311},{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.48901423811912537},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.44771379232406616},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4460243284702301},{"id":"https://openalex.org/keywords/series","display_name":"Series (stratigraphy)","score":0.4459635317325592},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42636638879776},{"id":"https://openalex.org/keywords/sequence-diagram","display_name":"Sequence diagram","score":0.42090338468551636},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37287354469299316},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32798290252685547},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23092281818389893},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.0900980532169342}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6813150644302368},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5551730990409851},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5469867587089539},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5336955785751343},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5229631066322327},{"id":"https://openalex.org/C2779652578","wikidata":"https://www.wikidata.org/wiki/Q5442977","display_name":"Fence (mathematics)","level":2,"score":0.5189059376716614},{"id":"https://openalex.org/C186399060","wikidata":"https://www.wikidata.org/wiki/Q959962","display_name":"Diagram","level":2,"score":0.4993882179260254},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.49910664558410645},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4906221926212311},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.48901423811912537},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.44771379232406616},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4460243284702301},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.4459635317325592},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42636638879776},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.42090338468551636},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37287354469299316},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32798290252685547},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23092281818389893},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.0900980532169342},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"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/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/(sici)1520-684x(19990615)30:6<13::aid-scj2>3.0.co;2-m","is_oa":false,"landing_page_url":"https://doi.org/10.1002/(sici)1520-684x(19990615)30:6<13::aid-scj2>3.0.co;2-m","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W130102441","https://openalex.org/W1995691455","https://openalex.org/W2064650227","https://openalex.org/W2099293367","https://openalex.org/W2099529102","https://openalex.org/W2117834984","https://openalex.org/W2124778357","https://openalex.org/W2139907081","https://openalex.org/W2141321742","https://openalex.org/W2589217375","https://openalex.org/W2607631107","https://openalex.org/W2745156229","https://openalex.org/W3144368627","https://openalex.org/W3189142755","https://openalex.org/W6676995014","https://openalex.org/W6680546001","https://openalex.org/W6681126893"],"related_works":["https://openalex.org/W3113091479","https://openalex.org/W2162899405","https://openalex.org/W941090075","https://openalex.org/W2044987316","https://openalex.org/W3134374554","https://openalex.org/W2237480245","https://openalex.org/W1529681579","https://openalex.org/W1745255672","https://openalex.org/W2355319912","https://openalex.org/W2391570358"],"abstract_inverted_index":{"This":[0,78],"paper":[1,33,79],"first":[2],"provides":[3],"definitions":[4],"of":[5,20,115],"state":[6,52],"fence":[7],"diagrams":[8,68],"(SFD).":[9],"SFDs":[10,29],"are":[11,96,102,124],"proposed":[12],"for":[13,105,113],"use":[14],"in":[15,31,86],"systems":[16],"analysis":[17],"and":[18,44,54,92,120],"design":[19,112],"reactive":[21],"systems,":[22],"such":[23],"as":[24],"sequence":[25,117],"control":[26,118],"systems.":[27],"The":[28],"introduced":[30],"this":[32],"include":[34],"ordered":[35],"SFD":[36,39,42,46],"(OSFD),":[37],"traced":[38],"(TSFD),":[40],"normalized":[41],"(NSFD),":[43],"event-ordered":[45],"(ESFD).":[47],"A":[48],"TSFD":[49],"represents":[50,61],"a":[51,55,116,121],"space":[53],"time":[56],"series.":[57],"An":[58],"ESFD":[59],"easily":[60],"event":[62,74,94],"concurrency.":[63],"We":[64],"show":[65],"that":[66],"these":[67],"can":[69],"be":[70],"obtained":[71],"from":[72],"an":[73,87],"trace":[75],"diagram":[76],"(ETD).":[77],"also":[80],"presents":[81],"master/slave":[82],"relationships":[83],"among":[84],"events":[85],"SFD.":[88,100],"Interlock,":[89],"mutual":[90],"exclusion,":[91],"spurious":[93],"problems":[95],"discussed":[97],"by":[98],"using":[99,109],"These":[101],"essential":[103],"factors":[104],"safety":[106,111],"design.":[107],"Furthermore,":[108],"SFD,":[110],"models":[114],"system":[119],"railroad":[122],"crossing":[123],"shown.":[125],"\u00a9":[126],"1999":[127,135],"Scripta":[128],"Technica,":[129],"Syst":[130],"Comp":[131],"Jpn,":[132],"30(6):":[133],"13\u201322,":[134]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}