{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T14:47:41Z","timestamp":1782398861040,"version":"3.54.5"},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T00:00:00Z","timestamp":1237939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGMETRICS Perform. Eval. Rev."],"published-print":{"date-parts":[[2009,3,25]]},"abstract":"<jats:p>This paper presents an overview of Platform-Independent Petri Net Editor 2 (PIPE2 ), an open-source tool that supports the design and analysis of Generalised Stochastic Petri Net (GSPN) models. PIPE2 's extensible design enables developers to add functionality via pluggable analysis modules. It also acts as a front-end for a parallel and distributed performance evaluation environment. With PIPE2, users are able to design and evaluate performance queries expressed in the Performance Tree formalism.<\/jats:p>","DOI":"10.1145\/1530873.1530881","type":"journal-article","created":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T14:14:44Z","timestamp":1240323284000},"page":"34-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":143,"title":["PIPE2"],"prefix":"10.1145","volume":"36","author":[{"given":"Nicholas J.","family":"Dingle","sequence":"first","affiliation":[{"name":"Imperial College London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"William J.","family":"Knottenbelt","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tamas","family":"Suto","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,3,25]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"PIPE2: Platform-Independent Petri net Editor -- http:\/\/pipe2.sourceforge.net.  PIPE2: Platform-Independent Petri net Editor -- http:\/\/pipe2.sourceforge.net."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"key":"e_1_2_1_3_1","volume-title":"23rd Latin American Conference on Informatics (CLEI'07)","author":"Bonet P.","year":"2007"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.15"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2006.39"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2007.32"},{"key":"e_1_2_1_7_1","volume-title":"7th Intl. Workshop on Parallel and Distributed Methods in Verification (PDMC'08)","author":"Brien D.K.","year":"2008"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.036"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1781854.1781865"},{"key":"e_1_2_1_10_1","unstructured":"R. Chitrakar \"BPEL (Business Process Execution Language) -- Specification modelling and analysis \" Master's thesis Univeristy of Illinois at Chicago 2006.  R. Chitrakar \"BPEL (Business Process Execution Language) -- Specification modelling and analysis \" Master's thesis Univeristy of Illinois at Chicago 2006."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11767589_22"},{"key":"e_1_2_1_13_1","unstructured":"The Petri Net Markup Language -- http:\/\/www2.informatik.hu-berlin.de\/top\/pnml\/.  The Petri Net Markup Language -- http:\/\/www2.informatik.hu-berlin.de\/top\/pnml\/."},{"key":"e_1_2_1_14_1","first-page":"111","volume-title":"10th Workshop Algorithms and Tools for Petri Nets","author":"Ga\u0161evi\u0107 D.","year":"2003"},{"key":"e_1_2_1_15_1","unstructured":"WoPeD: Workflow Petri Net Designer -- http:\/\/www.woped.org\/.  WoPeD: Workflow Petri Net Designer -- http:\/\/www.woped.org\/."},{"key":"e_1_2_1_16_1","first-page":"475","volume-title":"21st International Conference on Application and Theory of Petri Nets (ICATPN'00)","volume":"1825","author":"Verbeek H.","year":"2000"},{"key":"e_1_2_1_17_1","volume-title":"University of Cape Town","author":"Knottenbelt W.J.","year":"1996"},{"key":"e_1_2_1_18_1","volume-title":"Imperial College London","author":"Dingle N.","year":"2004"},{"key":"e_1_2_1_19_1","volume-title":"Majorca","author":"Dingle N.","year":"2008"},{"key":"e_1_2_1_20_1","volume-title":"Imperial College London","author":"Brien D. K.","year":"2008"}],"container-title":["ACM SIGMETRICS Performance Evaluation Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1530873.1530881","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1530873.1530881","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:23Z","timestamp":1750253423000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1530873.1530881"}},"subtitle":["a tool for the performance evaluation of generalised stochastic Petri Nets"],"short-title":[],"issued":{"date-parts":[[2009,3,25]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,3,25]]}},"alternative-id":["10.1145\/1530873.1530881"],"URL":"https:\/\/doi.org\/10.1145\/1530873.1530881","relation":{},"ISSN":["0163-5999"],"issn-type":[{"value":"0163-5999","type":"print"}],"subject":[],"published":{"date-parts":[[2009,3,25]]},"assertion":[{"value":"2009-03-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}