{"id":"https://openalex.org/W1504183380","doi":"https://doi.org/10.1109/etfa.2003.1248718","title":"Methodology for modeling visual flowchart control programs using net condition/event systems formalism in distributed environments","display_name":"Methodology for modeling visual flowchart control programs using net condition/event systems formalism in distributed environments","publication_year":2004,"publication_date":"2004-03-22","ids":{"openalex":"https://openalex.org/W1504183380","doi":"https://doi.org/10.1109/etfa.2003.1248718","mag":"1504183380"},"language":"en","primary_location":{"id":"doi:10.1109/etfa.2003.1248718","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2003.1248718","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696)","raw_type":"proceedings-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/A5082045892","display_name":"Andrei Lobov","orcid":"https://orcid.org/0000-0003-2729-489X"},"institutions":[{"id":"https://openalex.org/I4210133110","display_name":"Tampere University","ror":null,"country_code":"FI","type":null,"lineage":["https://openalex.org/I4210133110"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"A. Lobov","raw_affiliation_strings":["Institute of Production Enginrering, Tampere University of Technology, Tampere, Finland"],"affiliations":[{"raw_affiliation_string":"Institute of Production Enginrering, Tampere University of Technology, Tampere, Finland","institution_ids":["https://openalex.org/I4210133110"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052641655","display_name":"Jos\u00e9 L. Mart\u00ednez Lastra","orcid":"https://orcid.org/0000-0001-6227-3408"},"institutions":[{"id":"https://openalex.org/I4210133110","display_name":"Tampere University","ror":null,"country_code":"FI","type":null,"lineage":["https://openalex.org/I4210133110"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"J.L.M. Lastra","raw_affiliation_strings":["Institute of Production Enginrering, Tampere University of Technology, Tampere, Finland"],"affiliations":[{"raw_affiliation_string":"Institute of Production Enginrering, Tampere University of Technology, Tampere, Finland","institution_ids":["https://openalex.org/I4210133110"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023440458","display_name":"Reijo Tuokko","orcid":null},"institutions":[{"id":"https://openalex.org/I4210133110","display_name":"Tampere University","ror":null,"country_code":"FI","type":null,"lineage":["https://openalex.org/I4210133110"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"R. Tuokko","raw_affiliation_strings":["Institute of Production Enginrering, Tampere University of Technology, Tampere, Finland"],"affiliations":[{"raw_affiliation_string":"Institute of Production Enginrering, Tampere University of Technology, Tampere, Finland","institution_ids":["https://openalex.org/I4210133110"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008070913","display_name":"Valeriy Vyatkin","orcid":null},"institutions":[{"id":"https://openalex.org/I68956291","display_name":"Martin Luther University Halle-Wittenberg","ror":"https://ror.org/05gqaka33","country_code":"DE","type":"education","lineage":["https://openalex.org/I68956291"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"V. Vyatkin","raw_affiliation_strings":["Department of Engineering Science, Martin Luther University of Halle-Wittenberg, Halle, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Engineering Science, Martin Luther University of Halle-Wittenberg, Halle, Germany","institution_ids":["https://openalex.org/I68956291"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5082045892"],"corresponding_institution_ids":["https://openalex.org/I4210133110"],"apc_list":null,"apc_paid":null,"fwci":3.0379,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.9016427,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"2","issue":null,"first_page":"329","last_page":"336"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"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.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/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7002476453781128},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.536871612071991},{"id":"https://openalex.org/keywords/flowchart","display_name":"Flowchart","score":0.520973265171051},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.4735024571418762},{"id":"https://openalex.org/keywords/systems-modeling-language","display_name":"Systems Modeling Language","score":0.422129362821579},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3920031189918518},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.374309241771698},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3704426884651184},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3154241442680359},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.2539415955543518},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15252220630645752}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7002476453781128},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.536871612071991},{"id":"https://openalex.org/C72041958","wikidata":"https://www.wikidata.org/wiki/Q185092","display_name":"Flowchart","level":2,"score":0.520973265171051},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.4735024571418762},{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.422129362821579},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3920031189918518},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.374309241771698},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3704426884651184},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3154241442680359},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.2539415955543518},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15252220630645752}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/etfa.2003.1248718","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2003.1248718","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5600000023841858}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1894254590","https://openalex.org/W1906016869","https://openalex.org/W2096389927","https://openalex.org/W2147740041","https://openalex.org/W2174942152","https://openalex.org/W2263584683","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2115906794","https://openalex.org/W2109215547","https://openalex.org/W1992202691","https://openalex.org/W2011983133","https://openalex.org/W2131878319","https://openalex.org/W2323840003","https://openalex.org/W2188108885","https://openalex.org/W2798420800","https://openalex.org/W2381593765","https://openalex.org/W1199175235"],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"formal":[3,142],"validation":[4,26,54,143],"of":[5,48,141],"distributed":[6,91,99],"logic":[7],"controllers":[8],"represented":[9],"in":[10,22,33,98,106,147],"Visual":[11],"Flowchart":[12],"Language":[13],"(VFL)":[14],"that":[15,130],"is":[16,55,124,131],"a":[17,83,127],"high-level":[18],"programming":[19],"language":[20],"used":[21,77],"industrial":[23],"automation.":[24],"Traditional":[25],"approaches":[27],"based":[28,53],"on":[29],"simulation":[30],"become":[31],"obsolete":[32],"reconfigurable":[34],"manufacturing":[35],"systems":[36,67,80,89,97],"where":[37],"complex":[38],"machines":[39],"have":[40],"decentralized":[41],"control":[42,96,148],"and":[43],"are":[44],"built":[45],"by":[46],"reuse":[47],"components.":[49],"The":[50,102,136],"source":[51,117],"code":[52],"also":[56],"important":[57],"for":[58,87],"OEMs":[59],"to":[60,68,133],"unify":[61],"their":[62],"development":[63,146],"procedures":[64],"from":[65],"embedded":[66],"machine":[69],"controllers.":[70],"For":[71],"modeling":[72,88],"the":[73,111,115,120],"VFL":[74],"design":[75],"we":[76],"net":[78,129],"condition/event":[79],"(NCES)":[81],"-":[82],"modular":[84],"formalism":[85],"developed":[86],"with":[90],"states":[92],"such":[93],"as":[94],"closed-loop":[95],"mechatronic":[100],"devices.":[101],"methodology":[103],"was":[104],"implemented":[105],"software":[107],"tools":[108],"automatically":[109],"generating":[110],"model's":[112],"modules":[113],"given":[114],"controller's":[116],"code.":[118],"Then":[119],"hierarchical":[121],"NCES":[122],"model":[123,134],"assembled":[125],"into":[126,144],"place/transition":[128],"subjected":[132],"checking.":[135],"proposed":[137],"approach":[138],"facilitates":[139],"integration":[140],"software/hardware":[145],"systems'":[149],"engineering.":[150]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}