{"id":"https://openalex.org/W2067573892","doi":"https://doi.org/10.1016/s1571-0661(04)80947-2","title":"Improving UML with Petri nets1 1This work has been partially supported by Ministero della Ricerca Scientifica e Technologica under the SALADIM Project and by Polipecnico di Milano under the TATOOS Project.","display_name":"Improving UML with Petri nets1 1This work has been partially supported by Ministero della Ricerca Scientifica e Technologica under the SALADIM Project and by Polipecnico di Milano under the TATOOS Project.","publication_year":2001,"publication_date":"2001-07-01","ids":{"openalex":"https://openalex.org/W2067573892","doi":"https://doi.org/10.1016/s1571-0661(04)80947-2","mag":"2067573892"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80947-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80947-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80947-2","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063590018","display_name":"Luciano Baresi","orcid":"https://orcid.org/0000-0001-6467-837X"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Luciano Baresi","raw_affiliation_strings":["Dipartimento di Elettronica e Informazione, Politecnico di Milano piazza Leonardo da Vinci, 32. I-20133 Milano, Italy","Dipartimento di Elettronica e Informazione Politecnico di Milano piazza Leonardo da Vinci 32 I-20133 Milano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione, Politecnico di Milano piazza Leonardo da Vinci, 32. I-20133 Milano, Italy","institution_ids":["https://openalex.org/I93860229"]},{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione Politecnico di Milano piazza Leonardo da Vinci 32 I-20133 Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066540482","display_name":"Mauro Pezz\u00e8","orcid":"https://orcid.org/0000-0001-5193-7379"},"institutions":[{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Mauro Pezz\u00e8","raw_affiliation_strings":["Dipartimento di Informatica, Automatica e Comunicazioni, Universit\u00e0 degli Studi di Milano Bicocca, via Bicocca degli Arcimboldi, 8. I-20126 Milano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Automatica e Comunicazioni, Universit\u00e0 degli Studi di Milano Bicocca, via Bicocca degli Arcimboldi, 8. I-20126 Milano, Italy","institution_ids":["https://openalex.org/I66752286"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5063590018","https://openalex.org/A5066540482"],"corresponding_institution_ids":["https://openalex.org/I66752286","https://openalex.org/I93860229"],"apc_list":null,"apc_paid":null,"fwci":3.0626,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.92023121,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"44","issue":"4","first_page":"107","last_page":"119"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9994000196456909,"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.998199999332428,"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.7365806698799133},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.7028928399085999},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6935718655586243},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.5958134531974792},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.5915670394897461},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5811818838119507},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.5786004662513733},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5147421360015869},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4741223156452179},{"id":"https://openalex.org/keywords/object-constraint-language","display_name":"Object Constraint Language","score":0.4521808326244354},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1317204236984253},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.08288896083831787}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7365806698799133},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.7028928399085999},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6935718655586243},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.5958134531974792},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.5915670394897461},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5811818838119507},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5786004662513733},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5147421360015869},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4741223156452179},{"id":"https://openalex.org/C133264317","wikidata":"https://www.wikidata.org/wiki/Q1397689","display_name":"Object Constraint Language","level":5,"score":0.4521808326244354},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1317204236984253},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.08288896083831787},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/s1571-0661(04)80947-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80947-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:zenodo.org:41712","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/41712","pdf_url":null,"source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"EUSIPCO, European Signal Processing Conference, Glasgow, Scotland, 2009","raw_type":"info:eu-repo/semantics/conferencePaper"},{"id":"doi:10.5281/zenodo.41712","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.41712","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80947-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80947-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4300000071525574,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W61146306","https://openalex.org/W1517943782","https://openalex.org/W1549441918","https://openalex.org/W1574057703","https://openalex.org/W2016676157","https://openalex.org/W2060440626","https://openalex.org/W2075680193","https://openalex.org/W2077087299","https://openalex.org/W2120601740","https://openalex.org/W2130408143","https://openalex.org/W2159720139","https://openalex.org/W2171816001","https://openalex.org/W2594909701","https://openalex.org/W3101352210","https://openalex.org/W4213290781","https://openalex.org/W4245290268"],"related_works":["https://openalex.org/W2103939680","https://openalex.org/W2101953902","https://openalex.org/W1511392673","https://openalex.org/W2374264231","https://openalex.org/W2374395319","https://openalex.org/W2159765281","https://openalex.org/W3119629122","https://openalex.org/W2020544977","https://openalex.org/W2489425329","https://openalex.org/W2359043774"],"abstract_inverted_index":{"UML":[0,22,56,131,175,197],"is":[1,10,23,57,70],"the":[2,35,101,128,150,201,203,226,230],"OMG":[3],"standard":[4],"notation":[5],"for":[6,33],"object-oriented":[7,154],"modeling.":[8],"It":[9],"easy,":[11],"graphical":[12],"and":[13,46,60,79,144,163,186,192,216],"appealing,":[14],"but":[15,43,67,93],"in":[16,180],"several":[17,29,107],"cases":[18],"still":[19],"too":[20],"imprecise.":[21],"strong":[24],"as":[25,71,73,94,194],"modeling":[26],"means,":[27],"supplies":[28],"different":[30,36],"diagrammatic":[31],"notations":[32],"representing":[34],"aspects":[37,152],"of":[38,75,104,130,153,160,182,225,229],"a":[39,142,217],"system":[40],"under":[41],"development,":[42],"lacks":[44],"simulation":[45],"verifiability":[47],"capabilities.":[48],"This":[49],"drawback":[50],"comes":[51],"from":[52],"its":[53,68,112],"semi-formal":[54],"nature:":[55],"extremely":[58],"precise":[59,72],"wide":[61],"if":[62,164],"we":[63,126,209],"consider":[64],"syntactical":[65],"aspects,":[66],"semantics":[69,120,179],"those":[74],"informal":[76],"notations.":[77],"Scientists":[78],"users,":[80],"together":[81],"with":[82,134,177,214],"standardization":[83],"efforts":[84,109],"(UML":[85],"2.0),":[86],"are":[87,98],"trying":[88],"to":[89,140,147,156,172,187,196,220],"overcome":[90],"this":[91,124],"problem,":[92],"side":[95],"effect,":[96],"they":[97],"also":[99,206],"limiting":[100],"intrinsic":[102],"flexibility":[103],"UML.":[105],"Moreover,":[106],"formalization":[108],"concentrated":[110],"on":[111,149],"static":[113],"elements":[114,176],"(for":[115],"example,":[116],"inheritance),":[117],"leaving":[118],"dynamic":[119,132,151],"almost":[121],"untouched.":[122],"In":[123],"paper":[125,204],"propose":[127],"paring":[129],"models":[133],"high-level":[135],"timed":[136],"Petri":[137],"nets":[138],"(HLTPN)":[139],"obtain":[141],"flexible":[143],"customizable":[145],"means":[146],"reason":[148],"models,":[155,162],"simulate":[157],"particular":[158],"parts":[159],"these":[161],"necessary":[165],"analyze":[166],"them.":[167],"The":[168],"proposal":[169],"exploits":[170],"rules":[171],"ascribe":[173],"main":[174],"formal":[178],"terms":[181],"functionally":[183],"equivalent":[184],"HLTPNs":[185],"show":[188],"results":[189],"(from":[190],"execution":[191],"analysis)":[193],"decorations":[195],"symbols.":[198],"Besides":[199],"sketching":[200],"approach,":[202],"presents":[205],"some":[207],"experiences":[208],"have":[210],"gained":[211],"so":[212],"far":[213],"it":[215],"research":[218],"agenda":[219],"identify":[221],"other":[222],"possible":[223],"uses":[224],"dual":[227],"definition":[228],"notation.":[231]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}