{"id":"https://openalex.org/W3125807229","doi":"https://doi.org/10.1109/tase.2022.3206999","title":"Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets","display_name":"Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets","publication_year":2022,"publication_date":"2022-09-21","ids":{"openalex":"https://openalex.org/W3125807229","doi":"https://doi.org/10.1109/tase.2022.3206999","mag":"3125807229"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2022.3206999","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2022.3206999","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2101.06104","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046301737","display_name":"Ru Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I21945476","display_name":"Shanghai Normal University","ror":"https://ror.org/01cxqmw89","country_code":"CN","type":"education","lineage":["https://openalex.org/I21945476"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ru Yang","raw_affiliation_strings":["Department of Computer Science and Technology, Shanghai Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Shanghai Normal University, Shanghai, China","institution_ids":["https://openalex.org/I21945476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041681214","display_name":"Zhijun Ding","orcid":"https://orcid.org/0000-0003-2178-6201"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhijun Ding","raw_affiliation_strings":["Department of Computer Science and Technology, Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066099338","display_name":"Changjun Jiang","orcid":"https://orcid.org/0000-0003-0637-9317"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Changjun Jiang","raw_affiliation_strings":["Department of Computer Science and Technology, Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081318069","display_name":"MengChu Zhou","orcid":"https://orcid.org/0000-0002-5408-8752"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]},{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["MO","US"],"is_corresponding":false,"raw_author_name":"MengChu Zhou","raw_affiliation_strings":["Macao Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Macao, China","Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA"],"affiliations":[{"raw_affiliation_string":"Macao Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Macao, China","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA","institution_ids":["https://openalex.org/I118118575"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5046301737"],"corresponding_institution_ids":["https://openalex.org/I21945476"],"apc_list":null,"apc_paid":null,"fwci":1.8024,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.86229712,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"20","issue":"4","first_page":"2479","last_page":"2491"},"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.9987999796867371,"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.9987999796867371,"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9977999925613403,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/petri-net","display_name":"Petri net","score":0.8304153084754944},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6293976306915283},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.5842945575714111},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5626412034034729},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.5619321465492249},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4142799377441406},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.142657071352005}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8304153084754944},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6293976306915283},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.5842945575714111},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5626412034034729},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.5619321465492249},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4142799377441406},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.142657071352005},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tase.2022.3206999","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2022.3206999","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automation Science and Engineering","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2101.06104","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2101.06104","pdf_url":"https://arxiv.org/pdf/2101.06104","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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2101.06104","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2101.06104","pdf_url":"https://arxiv.org/pdf/2101.06104","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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3229278405","display_name":null,"funder_award_id":"2018YFB2100801","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G4369383357","display_name":null,"funder_award_id":"0047/2021/A1","funder_id":"https://openalex.org/F4320323893","funder_display_name":"Fundo para o Desenvolvimento das Ci\u00eancias e da Tecnologia"},{"id":"https://openalex.org/G5626511333","display_name":null,"funder_award_id":"61672381","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320323893","display_name":"Fundo para o Desenvolvimento das Ci\u00eancias e da Tecnologia","ror":"https://ror.org/05vna4324"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W100603024","https://openalex.org/W189832592","https://openalex.org/W987895608","https://openalex.org/W1541027160","https://openalex.org/W1627557152","https://openalex.org/W1964412949","https://openalex.org/W1987089173","https://openalex.org/W1994188141","https://openalex.org/W1996109622","https://openalex.org/W2051748040","https://openalex.org/W2061403756","https://openalex.org/W2062052233","https://openalex.org/W2075613871","https://openalex.org/W2077964797","https://openalex.org/W2091260341","https://openalex.org/W2092066463","https://openalex.org/W2098552099","https://openalex.org/W2105572166","https://openalex.org/W2107805549","https://openalex.org/W2128026023","https://openalex.org/W2137708046","https://openalex.org/W2139756789","https://openalex.org/W2143811838","https://openalex.org/W2144271133","https://openalex.org/W2146395986","https://openalex.org/W2225615039","https://openalex.org/W2311728956","https://openalex.org/W2342663885","https://openalex.org/W2414410231","https://openalex.org/W2529017842","https://openalex.org/W2530196882","https://openalex.org/W2571654287","https://openalex.org/W2774043027","https://openalex.org/W2776443426","https://openalex.org/W2804147884","https://openalex.org/W2898666523","https://openalex.org/W2993945154","https://openalex.org/W2996975866","https://openalex.org/W3002989136","https://openalex.org/W3032967604","https://openalex.org/W3033481339","https://openalex.org/W3178180748","https://openalex.org/W3196250682","https://openalex.org/W3201914322","https://openalex.org/W3205701848","https://openalex.org/W4206564133","https://openalex.org/W4244672654","https://openalex.org/W4285737636","https://openalex.org/W4298429401","https://openalex.org/W4302167780","https://openalex.org/W6802961056","https://openalex.org/W6840355294"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2257573499","https://openalex.org/W2381491984","https://openalex.org/W2064254377","https://openalex.org/W2901841247","https://openalex.org/W2148229336","https://openalex.org/W1491709828","https://openalex.org/W2159539963","https://openalex.org/W2001922003","https://openalex.org/W4244333532"],"abstract_inverted_index":{"In":[0],"mobile":[1,92,138,143,147,243],"interactive":[2,93],"systems,":[3,140,149,162],"there":[4],"exist":[5],"several":[6],"components":[7],"that":[8],"can":[9],"move":[10],"and":[11,28,32,48,51,56,69,84,99,104,124,132,146,168,171,176,197,235],"interact":[12],"with":[13],"each":[14,214],"other.":[15],"The":[16,206,237],"current":[17],"methods":[18,108],"fail":[19],"to":[20,72,119,127,129,153],"give":[21],"a":[22,91,110,173,181,189,192,241],"comprehensive":[23],"description":[24],"of":[25,109,137,161,183,213,240,249],"their":[26,54,74,105],"properties":[27,42,103,160,232],"have":[29,65],"inadequate":[30],"modeling":[31,55,175],"analysis":[33,57,107,177],"capacity":[34],"for":[35],"them.":[36],"This":[37,155],"paper":[38,156],"concludes":[39],"three":[40,158,231],"system":[41,44,164,245],"called":[43,163,186],"connectivity,":[45,165],"interaction":[46,85,139,166,198,218,224],"soundness":[47,167],"data":[49,169],"validity,":[50,170],"focuses":[52],"on":[53,59,180,228],"based":[58,79,179],"Variable":[60],"Petri":[61,184],"Nets":[62],"(VPNs),":[63],"which":[64],"recently":[66],"been":[67],"proposed":[68,122,251],"are":[70,113,150,233],"able":[71],"describe":[73],"dynamic":[75,223],"interactions.":[76],"A":[77],"VPN-":[78],"model":[80,112,193],"including":[81,194],"component":[82,195,207],"nets":[83,87,196,200],"structure":[86,98,199,219],"is":[88,117,201],"constructed":[89,202],"given":[90,118,190],"system.":[94],"It":[95],"depicts":[96],"its":[97],"event-driven":[100],"dynamics.":[101],"Three":[102],"related":[106,174],"VPN-based":[111],"presented.":[114],"An":[115],"example":[116],"demonstrate":[120],"the":[121,130,135,210,217,222,247,250],"concepts":[123],"methods.":[125],"Note":[126],"Practitioners\u2014Due":[128],"mobility":[131],"frequent":[133],"disconnections,":[134],"correctness":[136],"such":[141],"as":[142],"robot":[144],"systems":[145],"payment":[148,244],"often":[151],"difficult":[152],"analyze.":[154],"introduces":[157],"critical":[159],"presents":[172],"method,":[178],"kind":[182],"net":[185,208,220],"VPN.":[187],"For":[188],"system,":[191],"by":[203],"using":[204],"VPNs.":[205],"describes":[209],"internal":[211],"process":[212],"component,":[215],"while":[216],"reflects":[221],"between":[225],"components.":[226],"Based":[227],"this":[229],"model,":[230],"defined":[234],"analyzed.":[236],"case":[238],"study":[239],"practical":[242],"shows":[246],"effectiveness":[248],"method.":[252]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":5}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}