{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:37:47Z","timestamp":1730313467741,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,3,13]]},"DOI":"10.1145\/1066677.1067022","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"1534-1538","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Plan validation via petri nets in the real-time performers Java framework"],"prefix":"10.1145","author":[{"given":"Andrea","family":"Trentini","sequence":"first","affiliation":[{"name":"Universit\u00e0 degli Studi di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Micucci","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Milano-Bicocca, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,3,13]]},"reference":[{"unstructured":"Petri nets world. http:\/\/www.daimi.au.dk\/PetriNets.  Petri nets world. http:\/\/www.daimi.au.dk\/PetriNets.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","volume-title":"Introductory Tutorial on Petri Nets","author":"Balbo Gianfranco","year":"2000","unstructured":"Gianfranco Balbo , Jorg Desel , Kurt Jensen , Wolfgang Reisig , Grzegorz Rozenberg , and Manuel Silva , editors. Introductory Tutorial on Petri Nets , 2000 . Gianfranco Balbo, Jorg Desel, Kurt Jensen, Wolfgang Reisig, Grzegorz Rozenberg, and Manuel Silva, editors. Introductory Tutorial on Petri Nets, 2000."},{"key":"e_1_3_2_1_3_1","volume-title":"http:\/\/jpetrinet.sourceforge.net\/","author":"Ribas Barbosa Artur Lus","year":"2003","unstructured":"Artur Lus Ribas Barbosa and Mrcio Emlio Cruz Vono Azevedo . JPetriNets. http:\/\/jpetrinet.sourceforge.net\/ , 2003 . Artur Lus Ribas Barbosa and Mrcio Emlio Cruz Vono Azevedo. JPetriNets. http:\/\/jpetrinet.sourceforge.net\/, 2003."},{"key":"e_1_3_2_1_4_1","volume-title":"Platform Independent Petri Net Editor","author":"Bloom Jamie","year":"2003","unstructured":"Jamie Bloom , Clare Clark , Camilla Clifford , Alex Duncan , Haroun Khan , Manos Papantoniou , Tom Barnwell , Michael Camacho , Matthew Cook , Maxim Gready , Peter Kyme , and Michail Tsouchlaris . Platform Independent Petri Net Editor (pipe). sourceforge, 2003 . Jamie Bloom, Clare Clark, Camilla Clifford, Alex Duncan, Haroun Khan, Manos Papantoniou, Tom Barnwell, Michael Camacho, Matthew Cook, Maxim Gready, Peter Kyme, and Michail Tsouchlaris. Platform Independent Petri Net Editor (pipe). sourceforge, 2003."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering and 6th Reengineering Forum","author":"Cazzola W.","year":"1998","unstructured":"W. Cazzola , A. Savigni , A. Sosio , and F. Tisato . Architectural Reflection: Bridging the Gap Between a Running System and its Architectural Specification . In Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering and 6th Reengineering Forum , March 1998 . W. Cazzola, A. Savigni, A. Sosio, and F. Tisato. Architectural Reflection: Bridging the Gap Between a Running System and its Architectural Specification. In Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering and 6th Reengineering Forum, March 1998."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.5555\/776816.776835"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1109\/ISORC.2004.1300344"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.5555\/839280.840616"},{"key":"e_1_3_2_1_9_1","volume-title":"Analysis and Applications","volume":"77","author":"Murata T.","year":"1989","unstructured":"T. Murata . Petri Nets : Properties , Analysis and Applications , volume 77 . Proceedings of the IEEE , April 1989 . T. Murata. Petri Nets: Properties, Analysis and Applications, volume 77. Proceedings of the IEEE, April 1989."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets: an introduction","author":"Reisig Wolfgang","year":"1985","unstructured":"Wolfgang Reisig . Petri nets: an introduction . Springer-Verlag New York, Inc. , 1985 . Wolfgang Reisig. Petri nets: an introduction. Springer-Verlag New York, Inc., 1985."},{"unstructured":"Karsten Schmidt. LoLA a Low Level Petri net Analyzer. http:\/\/www.informatik.hu-berlin.de\/  Karsten Schmidt. LoLA a Low Level Petri net Analyzer. http:\/\/www.informatik.hu-berlin.de\/","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","volume-title":"Software Architecture. Perspective on an Emerging Discipline","author":"Shaw M.","year":"1996","unstructured":"M. Shaw and D. Garlan . Software Architecture. Perspective on an Emerging Discipline . Prentice Hall , 1996 . M. Shaw and D. Garlan. Software Architecture. Perspective on an Emerging Discipline. Prentice Hall, 1996."}],"event":{"sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"acronym":"SAC05","name":"SAC05: The 2005 ACM Symposium on Applied Computing","location":"Santa Fe New Mexico"},"container-title":["Proceedings of the 2005 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1066677.1067022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T19:36:40Z","timestamp":1673120200000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1066677.1067022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3,13]]},"references-count":12,"alternative-id":["10.1145\/1066677.1067022","10.1145\/1066677"],"URL":"https:\/\/doi.org\/10.1145\/1066677.1067022","relation":{},"subject":[],"published":{"date-parts":[[2005,3,13]]},"assertion":[{"value":"2005-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}