{"id":"https://openalex.org/W2063326656","doi":"https://doi.org/10.1145/1233341.1233439","title":"Systems modeling and analysis using colored Petri Nets","display_name":"Systems modeling and analysis using colored Petri Nets","publication_year":2007,"publication_date":"2007-03-23","ids":{"openalex":"https://openalex.org/W2063326656","doi":"https://doi.org/10.1145/1233341.1233439","mag":"2063326656"},"language":"en","primary_location":{"id":"doi:10.1145/1233341.1233439","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1233341.1233439","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 45th annual southeast regional conference","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/A5002667414","display_name":"Vijay Gehlot","orcid":null},"institutions":[{"id":"https://openalex.org/I7863295","display_name":"Villanova University","ror":"https://ror.org/02g7kd627","country_code":"US","type":"education","lineage":["https://openalex.org/I7863295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vijay Gehlot","raw_affiliation_strings":["Villanova University, Villanova, PA","[Villanova University, Villanova, PA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Villanova University, Villanova, PA","institution_ids":["https://openalex.org/I7863295"]},{"raw_affiliation_string":"[Villanova University, Villanova, PA]","institution_ids":["https://openalex.org/I7863295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032402412","display_name":"Anush Hayrapetyan","orcid":null},"institutions":[{"id":"https://openalex.org/I7863295","display_name":"Villanova University","ror":"https://ror.org/02g7kd627","country_code":"US","type":"education","lineage":["https://openalex.org/I7863295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anush Hayrapetyan","raw_affiliation_strings":["Villanova University, Villanova, PA","[Villanova University, Villanova, PA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Villanova University, Villanova, PA","institution_ids":["https://openalex.org/I7863295"]},{"raw_affiliation_string":"[Villanova University, Villanova, PA]","institution_ids":["https://openalex.org/I7863295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I7863295"],"apc_list":null,"apc_paid":null,"fwci":0.4743,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.72416477,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"514","last_page":"514"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"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.9947999715805054,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9933000206947327,"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/computer-science","display_name":"Computer science","score":0.7786775827407837},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7141261696815491},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5285469889640808},{"id":"https://openalex.org/keywords/colored","display_name":"Colored","score":0.4785236120223999},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4386865496635437},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35940325260162354},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35089564323425293},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3371468484401703}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7786775827407837},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7141261696815491},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5285469889640808},{"id":"https://openalex.org/C2778307483","wikidata":"https://www.wikidata.org/wiki/Q5149038","display_name":"Colored","level":2,"score":0.4785236120223999},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4386865496635437},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35940325260162354},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35089564323425293},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3371468484401703},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1233341.1233439","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1233341.1233439","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 45th annual southeast regional conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2148229336","https://openalex.org/W2168615635","https://openalex.org/W2016959625","https://openalex.org/W1494753485","https://openalex.org/W2274928617","https://openalex.org/W1497924817","https://openalex.org/W2091260341","https://openalex.org/W250152935","https://openalex.org/W2351661034","https://openalex.org/W2101831026"],"abstract_inverted_index":{"Petri":[0,24,59,66,71,81,100,110,523,568],"Nets":[1,25,67,72,82,101,111,569],"are":[2,175,251,266,276,558],"a":[3,106,137,145,159,192,225,260,283,296,354,399,404],"graphical":[4,181,284,297],"modeling":[5,9,54,91],"language":[6,121,439],"suitable":[7,89],"for":[8,43,90,115,125,287,414,442,584],"distributed,":[10],"concurrent,":[11],"deterministic":[12],"and":[13,18,50,83,131,164,217,227,291,305,331,343,369,378,384,388,407,422,438,448,461,463,469,474,505,514,527,549,582,588,612,626],"nondeterministic":[14],"systems":[15,157],"with":[16,58,102,203,241,403,471,522,570,577,594,623],"synchronous":[17],"asynchronous":[19],"communications.":[20],"One":[21,311],"attraction":[22],"of":[23,40,47,55,79,98,105,128,134,141,147,155,167,172,191,224,259,272,312,339,357,417,446,458,487,502,512,544,555,601],"is":[26,31,63,213,282,316,411,538],"that":[27,86,149,174,299,317,508],"the":[28,77,96,103,113,119,123,126,132,188,199,221,233,256,270,273,301,307,324,335,340,412,415,418,423,443,459,483,497,540],"basic":[29,189],"vocabulary":[30,78],"small":[32],"which":[33,281],"renders":[34],"them":[35,88],"very":[36],"flexible":[37],"in":[38,158,177,220,349,477],"terms":[39],"application":[41,359],"domains":[42],"modeling.":[44],"However,":[45,441],"lack":[46],"high-level":[48,107],"constructs":[49],"related":[51],"support":[52,144],"makes":[53,183],"large":[56,92,156,355],"system":[57,525],"nets":[60],"impractical.":[61],"This":[62,409,479],"where":[64],"Colored":[65,567],"come":[68],"into":[69,326],"play.Colored":[70],"(CP-Nets":[73],"or":[74,242,337,531],"CPNs)":[75],"extend":[76],"ordinary":[80,99],"add":[84],"features":[85,315],"make":[87],"systems.":[93,179],"CPNs":[94,143,168,212,342,363,426,447,488,513,611],"combine":[95],"strengths":[97,104],"programming":[108,120],"language.":[109,535],"provide":[112,427,605],"primitives":[114,124],"process":[116],"interaction,":[117],"while":[118,262],"provides":[122,232],"definition":[127,416],"data":[129,135],"types":[130],"manipulations":[133],"values.From":[136],"practical":[138,351,444,472,475,510,573],"applications":[139,473,511],"point":[140],"view,":[142],"mechanism":[146],"modules":[148],"allows":[150,300],"one":[151],"to":[152,186,214,246,254,268,303,321,367,453,485,547,566],"construct":[153],"models":[154,237,250,265,275,590,614],"hierarchical":[160],"manner.":[161],"The":[162,180],"hierarchy":[163],"module":[165],"concept":[166],"allow":[169],"different":[170,308,358,419],"levels":[171],"abstraction":[173],"inherent":[176],"most":[178],"representation":[182,402,410],"it":[184,230,318,451],"easy":[185],"see":[187],"structure":[190],"complex":[193],"CPN":[194,249,264,279,344,449,464,492,515,545,551,578,602,617],"model,":[195],"i.e.,":[196],"understand":[197],"how":[198],"individual":[200],"subsystems":[201],"interact":[202],"each":[204],"other.":[205],"A":[206],"major":[207,553],"benefit":[208],"gained":[209],"by":[210,500],"using":[211,278,616,628],"obtain":[215],"complete":[216],"unambiguous":[218],"specification":[219],"design":[222,526],"stage":[223],"project,":[226],"verify":[228],"if":[229],"indeed":[231],"defined":[234],"services":[235],"correctly.CPN":[236],"can":[238],"be":[239],"made":[240],"without":[243,333],"explicit":[244],"reference":[245],"time.":[247],"Untimed":[248],"usually":[252],"used":[253,267,348,366],"validate":[255],"functional/logical":[257],"correctness":[258],"system,":[261],"timed":[263],"evaluate":[269],"performance":[271],"system.CPN":[274],"built":[277,598],"Tools":[280,345,465,546],"software":[285,373],"tool":[286],"creating,":[288,585],"editing,":[289,586],"simulating":[290],"analyzing":[292,589],"models.":[293],"It":[294,517],"has":[295],"editor":[298],"user":[302],"create":[304],"layout":[306],"net":[309],"components.":[310],"its":[313,329,580],"nice":[314],"uses":[319],"pages":[320],"visually":[322],"divide":[323],"model":[325,368,624],"components,":[327],"enhancing":[328],"maintainability":[330],"readability":[332],"affecting":[334],"execution":[336],"analysis":[338,424,429,437,627],"model.":[341],"have":[346,364,398,454,466],"been":[347,365,467],"numerous":[350,503],"projects":[352],"within":[353],"variety":[356],"areas":[360],"(see":[361],"http://www.daimi.au.dk/CPnets/intro/example_indu.html).":[362],"analyze":[370],"hardware":[371],"systems,":[372,374,376,382,391,393,395],"biological":[375],"network":[377],"communication":[379],"protocols,":[380],"healthcare":[381],"workflow":[383],"business":[385],"processes,":[386],"distributed":[387],"resource":[389],"constrained":[390],"manufacturing":[392],"control":[394],"etc.CPNs":[396],"also":[397],"formal,":[400],"mathematical":[401],"well-defined":[405],"syntax":[406,460],"semantics.":[408],"foundation":[413],"behavioral":[420],"properties":[421],"methods.":[425],"several":[428],"methods,":[430],"including":[431],"simulation,":[432,530],"state":[433],"space":[434],"analysis,":[435,528],"sweep-line":[436],"analysis.":[440],"use":[445,476,543],"Tools,":[450,579],"suffices":[452],"an":[455,563],"intuitive":[456],"understanding":[457],"semantics.CPNs":[462],"designed":[468],"developed":[470],"mind.":[478],"tutorial":[480,557],"will":[481,495],"introduce":[482],"audience":[484],"basics":[486],"as":[489,491,559],"well":[490],"Tools.":[493,516],"We":[494],"illustrate":[496],"key":[498],"ideas":[499],"means":[501],"examples":[504],"live":[506],"demonstrations":[507],"emphasize":[509],"requires":[518],"no":[519],"prior":[520],"familiarity":[521],"nets,":[524],"modeling,":[529],"any":[532],"particular":[533],"computer":[534],"Its":[536],"emphasis":[537,571],"on":[539,572,599,607,610],"practical,":[541],"hands-on":[542],"build":[548],"execute":[550],"models.The":[552],"goals":[554],"this":[556],"follows:\u2022":[560],"To":[561,575,592,604,619],"give":[562],"informal":[564],"introduction":[565],"applications.\u2022":[574],"familiarize":[576,593],"facility,":[581],"interface":[583],"simulating,":[587],"graphically.\u2022":[591],"various":[595],"visualization":[596],"facilities":[597],"top":[600],"Tools.\u2022":[603,618],"information":[606],"existing":[608,613],"work":[609],"created":[615],"help":[620],"get":[621],"started":[622],"creation":[625],"CPNs.":[629]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}