{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T04:07:46Z","timestamp":1743653266273,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314902"},{"type":"electronic","value":"9783642314919"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31491-9_31","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T21:28:19Z","timestamp":1340314099000},"page":"416-427","source":"Crossref","is-referenced-by-count":1,"title":["BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Winkler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Fritzsche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wasif","family":"Gilani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Marshall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-56689-9_43","volume-title":"Advances in Petri Nets 1993","author":"R. Fehling","year":"1993","unstructured":"Fehling, R.: A Concept of Hierarchical Petri Nets with Building Blocks. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol.\u00a0674, pp. 148\u2013168. Springer, Heidelberg (1993)"},{"key":"31_CR2","unstructured":"Fritzsche, M.: Performance related Decision Support for Process Modelling. Phd, Queen\u2019s University Belfast (2010)"},{"key":"31_CR3","unstructured":"Fritzsche, M., Johannes, J., Zschaler, S., Zherebtsov, A., Terekhov, A.: Application of Tracing Techniques in Model-Driven Performance Engineering. In: Proceedings of the 4th ECMDA Traceability Workshop (ECMDA-TW), pp. 111\u2013120 (2008)"},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured petri nets (1987)","DOI":"10.1007\/978-3-540-47919-2_10"},{"key":"31_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming\u00a072, 31\u201339 (2008)","journal-title":"Science of Computer Programming"},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-00899-3_3","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"N. Lohmann","year":"2009","unstructured":"Lohmann, N., Verbeek, E., Dijkman, R.: Petri\u00a0Net Transformations for Business\u00a0Processes \u2013 A\u00a0Survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol.\u00a05460, pp. 46\u201363. Springer, Heidelberg (2009)"},{"key":"31_CR7","first-page":"348","volume-title":"Proceedings of Rensselaer\u2019s Second International Conference on Computer Integrated Manufacturing","author":"D.J. Mu","year":"1990","unstructured":"Mu, D.J., DiCesare, F.: A Review of Synthesis Techniques for Petri Nets. In: Proceedings of Rensselaer\u2019s Second International Conference on Computer Integrated Manufacturing, Troy, NY, USA, pp. 348\u2013355. IEEE Comput. Soc. Press, Los Alamitos (1990)"},{"key":"31_CR8","unstructured":"Object Management Group: MOF QVT Final Adopted Specification (2005)"},{"key":"31_CR9","unstructured":"Object Management Group: Business Process Modeling Notation Specification, Final Adopted Specification, Version 1.0 (2006)"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Raedts, I.G.J., Petkovi, M., Usenko, Y.S., van der Werf, J., Somers, J.F.G.L.: Transformation of BPMN models for behaviour analysis. In: Proceedings 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2007, Funchal, Madeira, Portugal, June 12-13, pp. 126\u2013137. INSTICC Press (2007)","DOI":"10.5220\/0002428801260137"},{"key":"31_CR11","unstructured":"und Dan Rubel, E.C.: Eclipse. Building Commercial-Quality Plug-Ins. Addison-Wesley (2006)"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Vanderaalst, W., Terhofstede, A.: YAWL: yet another workflow language. Information Systems\u00a0(4), 245\u2013275 (2005)","DOI":"10.1016\/j.is.2004.02.002"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Zuberek, W.M.: Petri nets in hierarchical modeling of manufacturing systems. In: Proc. IFAC Conf. on Control Systems Design (CSD 2000), Bratislava, Slovak Republic, June 18-20, pp. 287\u2013292 (2000)","DOI":"10.1016\/S1474-6670(17)37203-8"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31491-9_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T10:24:44Z","timestamp":1743589484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31491-9_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314902","9783642314919"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31491-9_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}