{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:47:15Z","timestamp":1730314035610,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,3,18]]},"DOI":"10.1145\/1167253.1167324","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"327-332","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["JCPNet tool and automated analysis of distributed systems"],"prefix":"10.1145","author":[{"given":"Xiaochuan","family":"Yi","sequence":"first","affiliation":[{"name":"The University of Georgia, Athens, GA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krys J.","family":"Kochut","sequence":"additional","affiliation":[{"name":"The University of Georgia, Athens, GA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"An introduction to Model Driven Architecture. http:\/\/www-106.ibm.com\/developerworks\/rational\/library\/3100.html]]  An introduction to Model Driven Architecture. http:\/\/www-106.ibm.com\/developerworks\/rational\/library\/3100.html]]"},{"key":"e_1_3_2_1_2_1","unstructured":"JCPNet: A Java Colored Petri Nets Modeling and Analysis Tool. http:\/\/www.cs.uga.edu\/~xyi\/jcpnet.html]]  JCPNet: A Java Colored Petri Nets Modeling and Analysis Tool. http:\/\/www.cs.uga.edu\/~xyi\/jcpnet.html]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009386.1010225"},{"key":"e_1_3_2_1_4_1","first-page":"2","volume":"1","author":"Jensen K.","year":"1996","unstructured":"K. Jensen . Colored Petri Nets Basic Concepts , Analysis Methods and Practical Use , Volume 1 , 2 , 3 second edition, 1996 ]] K. Jensen. Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use, Volume 1, 2, 3 second edition, 1996]]","journal-title":"Analysis Methods and Practical Use"},{"key":"e_1_3_2_1_5_1","first-page":"263","volume-title":"Incremental State Space Construction for Coloured Petri Nets. ICATPN 2001, LNCS 2075","author":"Lewis Glen","year":"2001","unstructured":"Glen Lewis , C. Lakos . Incremental State Space Construction for Coloured Petri Nets. ICATPN 2001, LNCS 2075 , pp. 263 -- 282 , 2001 ]] Glen Lewis, C. Lakos. Incremental State Space Construction for Coloured Petri Nets. ICATPN 2001, LNCS 2075, pp. 263--282, 2001]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050021"},{"volume-title":"Lecture on Concurrency and Petri Nets","author":"Kristensen Lars M.","key":"e_1_3_2_1_7_1","unstructured":"Lars M. Kristensen , Jens B. Jorgensen , and Kurt Jensen . Application of Coloured Petri Nets in System Development . In Lecture on Concurrency and Petri Nets , Jorg Desel, Wolfgang Reisig and Grezegorz Rozenberg (Eds.), Springer , LNCS 3089, 626--685.]] Lars M. Kristensen, Jens B. Jorgensen, and Kurt Jensen. Application of Coloured Petri Nets in System Development. In Lecture on Concurrency and Petri Nets, Jorg Desel, Wolfgang Reisig and Grezegorz Rozenberg (Eds.), Springer, LNCS 3089, 626--685.]]"},{"volume-title":"Introduction to Algorithms","author":"Cormen T.","key":"e_1_3_2_1_8_1","unstructured":"T. Cormen , C. Leiserson , R. Rivest , C. Stein . 2001. Introduction to Algorithms . Second edition. MIT Press .]] T. Cormen, C. Leiserson, R. Rivest, C. Stein. 2001. Introduction to Algorithms. Second edition. MIT Press.]]"},{"key":"e_1_3_2_1_9_1","volume-title":"UGA computer science department technical report","author":"Yi X.","year":"2004","unstructured":"X. Yi and Krys J . Kochut,\" Specification and Analysis of Service-Oriented Distributed Systems using Colored Petri Nets: Algorithms and Tools \", UGA computer science department technical report , Nov. 2004 . http:\/\/www.cs.uga.edu\/~xyi\/atpnTR.pdf]] X. Yi and Krys J. Kochut,\" Specification and Analysis of Service-Oriented Distributed Systems using Colored Petri Nets: Algorithms and Tools\", UGA computer science department technical report, Nov. 2004. http:\/\/www.cs.uga.edu\/~xyi\/atpnTR.pdf]]"},{"volume-title":"ML'97","author":"Standard","key":"e_1_3_2_1_10_1","unstructured":"Standard ML'97 . http:\/\/www.smlnj.org\/sml97.html]] Standard ML'97. http:\/\/www.smlnj.org\/sml97.html]]"},{"key":"e_1_3_2_1_11_1","unstructured":"Graphviz - Graph Visualization Software http:\/\/www.graphviz.org\/]]  Graphviz - Graph Visualization Software http:\/\/www.graphviz.org\/]]"},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"Valmari A.","year":"1998","unstructured":"A. Valmari . The State Explosion Problem . In Lectures on Petri Nets I: Basic Models , volume 1491 of Lecture Notes in Computer Science , pages 429 -- 528 . Springer-Verlag , 1998 .]] A. Valmari. The State Explosion Problem. In Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science, pages 429--528. Springer-Verlag, 1998.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/646485.694466"},{"key":"e_1_3_2_1_14_1","unstructured":"CPN tools. http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki]]  CPN tools. http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki]]"},{"volume-title":"Petri nets: Properties, analysis and applications","author":"Murata T.","key":"e_1_3_2_1_15_1","unstructured":"T. Murata . Petri nets: Properties, analysis and applications . Proceedings of IEEE , vol. 77 , no. 4, April 1989.]] T. Murata. Petri nets: Properties, analysis and applications. Proceedings of IEEE, vol. 77, no. 4, April 1989.]]"}],"event":{"name":"ACM SE05: ACM Southeast Regional Conference 2005","sponsor":["ACM Association for Computing Machinery"],"location":"Kennesaw Georgia","acronym":"ACM SE05"},"container-title":["Proceedings of the 43rd annual Southeast regional conference - Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1167253.1167324","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T00:57:31Z","timestamp":1673312251000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1167253.1167324"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3,18]]},"references-count":15,"alternative-id":["10.1145\/1167253.1167324","10.1145\/1167253"],"URL":"https:\/\/doi.org\/10.1145\/1167253.1167324","relation":{},"subject":[],"published":{"date-parts":[[2005,3,18]]},"assertion":[{"value":"2005-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}