{"id":"https://openalex.org/W2982355452","doi":"https://doi.org/10.1109/icstcc.2019.8885601","title":"Analysis of Applications Conceived by Object Enhanced Time Petri Nets","display_name":"Analysis of Applications Conceived by Object Enhanced Time Petri Nets","publication_year":2019,"publication_date":"2019-10-01","ids":{"openalex":"https://openalex.org/W2982355452","doi":"https://doi.org/10.1109/icstcc.2019.8885601","mag":"2982355452"},"language":"en","primary_location":{"id":"doi:10.1109/icstcc.2019.8885601","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstcc.2019.8885601","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 23rd International Conference on System Theory, Control and Computing (ICSTCC)","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/A5067166630","display_name":"Dahlia Al-Janabi","orcid":"https://orcid.org/0000-0002-1956-7272"},"institutions":[{"id":"https://openalex.org/I158333966","display_name":"Technical University of Cluj-Napoca","ror":"https://ror.org/03r8nwp71","country_code":"RO","type":"education","lineage":["https://openalex.org/I158333966"]}],"countries":["RO"],"is_corresponding":true,"raw_author_name":"Dahlia Al- Janabi","raw_affiliation_strings":["Dept. Automation, Technical University of Cluj-Napoca, Cluj-Napoca, Romania"],"affiliations":[{"raw_affiliation_string":"Dept. Automation, Technical University of Cluj-Napoca, Cluj-Napoca, Romania","institution_ids":["https://openalex.org/I158333966"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022301445","display_name":"Tiberiu S. Letia","orcid":"https://orcid.org/0000-0003-1327-0862"},"institutions":[{"id":"https://openalex.org/I158333966","display_name":"Technical University of Cluj-Napoca","ror":"https://ror.org/03r8nwp71","country_code":"RO","type":"education","lineage":["https://openalex.org/I158333966"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Tiberiu S. Letia","raw_affiliation_strings":["Dept. Automation, Technical University of Cluj-Napoca, Cluj-Napoca, Romania"],"affiliations":[{"raw_affiliation_string":"Dept. Automation, Technical University of Cluj-Napoca, Cluj-Napoca, Romania","institution_ids":["https://openalex.org/I158333966"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5067166630"],"corresponding_institution_ids":["https://openalex.org/I158333966"],"apc_list":null,"apc_paid":null,"fwci":0.9699,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.78683856,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"279","last_page":"286"},"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.9995999932289124,"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.9995999932289124,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"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/petri-net","display_name":"Petri net","score":0.8937942385673523},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8159449100494385},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7157917618751526},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.6456004977226257},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5909979939460754},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.5130444765090942},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.43160760402679443},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3456227481365204},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2711549997329712},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2506384551525116},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.09296727180480957}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8937942385673523},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8159449100494385},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7157917618751526},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.6456004977226257},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5909979939460754},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.5130444765090942},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.43160760402679443},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3456227481365204},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2711549997329712},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2506384551525116},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.09296727180480957}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icstcc.2019.8885601","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstcc.2019.8885601","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 23rd International Conference on System Theory, Control and Computing (ICSTCC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7300000190734863,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W567211000","https://openalex.org/W1529059198","https://openalex.org/W1588738710","https://openalex.org/W2012166633","https://openalex.org/W2130561017","https://openalex.org/W2130858872","https://openalex.org/W2151612633","https://openalex.org/W2153124684","https://openalex.org/W2160541786","https://openalex.org/W2220712914","https://openalex.org/W2739618175","https://openalex.org/W2805771604","https://openalex.org/W2837694058","https://openalex.org/W2900885064","https://openalex.org/W6615884619","https://openalex.org/W6631656236","https://openalex.org/W6653507393"],"related_works":["https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W1500907979","https://openalex.org/W2039577724","https://openalex.org/W2380814829","https://openalex.org/W1551903405","https://openalex.org/W2092311420","https://openalex.org/W4242099213","https://openalex.org/W1531156418","https://openalex.org/W2020720940"],"abstract_inverted_index":{"Object":[0],"Enhanced":[1],"Time":[2,103],"Petri":[3,63,104],"Nets":[4,64,105],"(OETPN)":[5],"can":[6,131],"be":[7,132],"used":[8,108],"for":[9,119,141,154,160],"specifications":[10],"analysis,":[11,148],"design":[12],"(including":[13],"synthesis),":[14],"implementation,":[15,149],"integration":[16],"and":[17,55,71,87,134,150,157],"maintenance":[18],"of":[19,25,35,75,85,164],"software":[20],"applications":[21],"in":[22],"the":[23,50,110,128,136,161],"domain":[24],"reactive":[26],"systems,":[27,29,31,33],"cyber-physical":[28],"embedded":[30],"real-time":[32,162],"internet":[34],"things":[36],"etc.":[37],"due":[38],"to":[39,42,49,95,122],"their":[40],"ability":[41],"describe":[43],"complex":[44],"structures,":[45],"concurrent":[46],"behavior,":[47],"reaction":[48],"environment":[51],"events,":[52],"distributed":[53],"processing,":[54],"task":[56],"migration.":[57],"OETPNs":[58,121],"are":[59,99,107],"extended":[60],"from":[61],"classical":[62],"(PNs)":[65],"by":[66,82],"having":[67],"tokens":[68],"modeling":[69],"passive":[70],"active":[72],"objects":[73],"(threads":[74],"executions).":[76],"The":[77],"system":[78,147],"behavior":[79],"is":[80,124,152],"determined":[81],"a":[83,155],"number":[84],"guards":[86],"mappings":[88],"associated":[89],"with":[90,101,109],"each":[91,142],"transition.":[92],"In":[93],"order":[94],"verify":[96],"systems":[97],"that":[98,127],"developed":[100],"OETPNs,":[102],"(TPNs)":[106],"clock-stamped":[111],"state":[112],"class":[113],"(CS-class)":[114],"technique.":[115],"A":[116,145],"new":[117],"method":[118],"converting":[120],"TPNs":[123],"proposed":[125],"so":[126],"reachability":[129],"graph":[130],"generated":[133],"computed":[135],"end-":[137],"to-":[138],"end":[139],"time":[140],"thread":[143],"aside.":[144],"complete":[146],"verification":[151],"provided":[153],"synchronous":[156],"asynchronous":[158],"approach":[159],"point":[163],"view.":[165]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":4}],"updated_date":"2025-11-25T21:42:39.735039","created_date":"2025-10-10T00:00:00"}