{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T04:02:47Z","timestamp":1751860967815,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,16]],"date-time":"2018-05-16T00:00:00Z","timestamp":1526428800000},"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":[],"published-print":{"date-parts":[[2018,5,16]]},"DOI":"10.1145\/3232059.3232073","type":"proceedings-article","created":{"date-parts":[[2018,9,4]],"date-time":"2018-09-04T12:38:13Z","timestamp":1536064693000},"page":"57-61","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["OMPetri"],"prefix":"10.1145","author":[{"given":"Ralf","family":"Hofest\u00e4dt","sequence":"first","affiliation":[{"name":"Universit\u00e4t Bielefeld, Bielefeld, Germany"}]},{"given":"Christoph","family":"Brinkrolf","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Bielefeld, Bielefeld, Germany"}]},{"given":"Philo","family":"Reipke","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Bielefeld, Bielefeld, Germany"}]}],"member":"320","published-online":{"date-parts":[[2018,5,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Kommunikation und Automaten","author":"Petri A.","year":"1962","unstructured":"A. Petri , Kommunikation und Automaten ; Bonn : Rheinisch-Westf\u00e4lisches Institut f\u00fcr instrumentelle Mathematik, Bonn: 1962 , Heft 2. A. Petri, Kommunikation und Automaten; Bonn: Rheinisch-Westf\u00e4lisches Institut f\u00fcr instrumentelle Mathematik, Bonn: 1962, Heft 2."},{"issue":"4","key":"e_1_3_2_1_2_1","first-page":"221","article-title":"Advantages of Petri-Net Modeling and Simulation for Biological Networks","volume":"7","author":"Hofest\u00e4dt R.","year":"2017","unstructured":"R. Hofest\u00e4dt , \" Advantages of Petri-Net Modeling and Simulation for Biological Networks , \" Journal of Bioscience, Biochemstry and Bioinformatics , vol. 7 , no. 4 , pp. 221 - 229 , 2017 . R. Hofest\u00e4dt, \"Advantages of Petri-Net Modeling and Simulation for Biological Networks, \"Journal of Bioscience, Biochemstry and Bioinformatics, vol. 7, no. 4, pp. 221-229, 2017.","journal-title":"Journal of Bioscience, Biochemstry and Bioinformatics"},{"key":"e_1_3_2_1_3_1","first-page":"328","volume-title":"Proceedings First International Conference on Intelligent Systems for Molecular Biology","author":"Reddy V. N.","year":"1993","unstructured":"V. N. Reddy , M. Mavrovouniotis , M. N. Liebman , \" Petri Net Representation in Metabolic Pathways ,\" in Proceedings First International Conference on Intelligent Systems for Molecular Biology , Bethesda , 1993 , pp. 328 - 336 . V. N. Reddy, M. Mavrovouniotis, M. N. Liebman, \"Petri Net Representation in Metabolic Pathways,\" in Proceedings First International Conference on Intelligent Systems for Molecular Biology, Bethesda, 1993, pp. 328-336."},{"issue":"4","key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","first-page":"271","DOI":"10.3233\/ISB-00133","article-title":"Constructing Biological Pathway Models with Hybrid Functional Petri nets","author":"Doi A.","year":"2004","unstructured":"A. Doi , S. Fujita , H. Matsuno , M. Nagasaki , S. Miyano , \" Constructing Biological Pathway Models with Hybrid Functional Petri nets , \" In Silico Biology , no. 4 , 2004 , pp. 271 - 291 . A. Doi, S. Fujita, H. Matsuno, M. Nagasaki, S. Miyano, \"Constructing Biological Pathway Models with Hybrid Functional Petri nets, \" In Silico Biology, no. 4, 2004, pp. 271-291.","journal-title":"Silico Biology"},{"issue":"20","key":"e_1_3_2_1_5_1","first-page":"10","article-title":"Cell Illustrator 4.0: A computational platform for systems biology","author":"Nagasaki M.","year":"2010","unstructured":"M. Nagasaki , A. Saito , E. Jeong , C. Li , K. Kojima , E. Ikeda , S. Miyano , \" Cell Illustrator 4.0: A computational platform for systems biology , \" In Silico Biology , no. 20 , 2010 , pp. 10 - 20 . M. Nagasaki, A. Saito, E. Jeong, C. Li, K. Kojima, E. Ikeda, S. Miyano, \"Cell Illustrator 4.0: A computational platform for systems biology, \" In Silico Biology, no. 20, 2010, pp. 10-20.","journal-title":"Silico Biology"},{"key":"e_1_3_2_1_6_1","first-page":"47","volume-title":"Munich","author":"Pross S.","year":"2012","unstructured":"S. Pross , B. Bachmann , \"P Nlib - An Advanced Petri Net Library for Hybrid Process Podeling , \"in : Proceedings of the 9th International MODELICA Conference , Munich , 2012 , pp. 47 - 56 . S. Pross, B. Bachmann, \"PNlib - An Advanced Petri Net Library for Hybrid Process Podeling, \"in: Proceedings of the 9th International MODELICA Conference, Munich, 2012, pp. 47-56."},{"issue":"1","key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/ISB-00006","article-title":"Quantitative Modeling of Biochemical Networks","author":"Hofest\u00e4dt R.","year":"1998","unstructured":"R. Hofest\u00e4dt , S. Thelen , \" Quantitative Modeling of Biochemical Networks ,\"In Silico Biology , no. 1 , 1998 , pp. 39 - 53 . R. Hofest\u00e4dt, S. Thelen, \"Quantitative Modeling of Biochemical Networks,\"In Silico Biology, no. 1, 1998, pp. 39-53.","journal-title":"Silico Biology"},{"issue":"4","key":"e_1_3_2_1_8_1","first-page":"227","article-title":"On Time Petri Nets","author":"Popova L.","year":"1991","unstructured":"L. Popova , \" On Time Petri Nets ,\" J. Inform. Process. Cybern , no. 4 , 1991 , pp. 227 - 244 . L. Popova, \"On Time Petri Nets,\" J. Inform. Process. Cybern, no. 4, 1991, pp. 227-244.","journal-title":"J. Inform. Process. Cybern"},{"key":"e_1_3_2_1_9_1","volume-title":"Stochastic Petri nets: an elementary introduction","author":"Marsan M.","year":"1990","unstructured":"M. Marsan , M. Ajmone , Stochastic Petri nets: an elementary introduction , In : Advances in Petri Nets , Heidelberg : Springer-Verlag , 1990 , ch. 1. M. Marsan, M. Ajmone, Stochastic Petri nets: an elementary introduction, In: Advances in Petri Nets, Heidelberg: Springer-Verlag, 1990, ch. 1."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000079"},{"key":"e_1_3_2_1_11_1","unstructured":"Modelica: Modelica association. https:\/\/www.modelica.org\/ Modelica: Modelica association. https:\/\/www.modelica.org\/"},{"key":"e_1_3_2_1_12_1","volume-title":"Modellig and Validation of Current Systems","author":"Jensen K.","year":"2009","unstructured":"K. Jensen , L. Kristensen , \" Coloured Petri Nets : Modellig and Validation of Current Systems , \" Heidelberg : Springer-Verlag , 2009 . K. Jensen, L. Kristensen, \"Coloured Petri Nets: Modellig and Validation of Current Systems, \" Heidelberg: Springer-Verlag, 2009."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btq050"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1515\/jib-2014-239"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0301-4622(01)00229-0"},{"key":"e_1_3_2_1_16_1","first-page":"1","volume-title":"PETRI NETS","author":"Brinkrolf C","year":"2018","unstructured":"C Brinkrolf , P. Reipke , \"OM Petri - A Software Application for Modeling and Simulating Using Extended Hybrid Petri Nets by Employing OpenModelica\", V. Khomenko and O. H. Roux (Eds.): PETRI NETS 2018 , LNCS 10877, 2018, pp. 1 - 10 . C Brinkrolf, P. Reipke, \"OMPetri - A Software Application for Modeling and Simulating Using Extended Hybrid Petri Nets by Employing OpenModelica\", V. Khomenko and O. H. Roux (Eds.): PETRI NETS 2018, LNCS 10877, 2018, pp. 1-10."}],"event":{"name":"ICBBT '18: 2018 10th International Conference on Bioinformatics and Biomedical Technology","sponsor":["Universidade Nova de Lisboa"],"location":"Amsterdam Netherlands","acronym":"ICBBT '18"},"container-title":["Proceedings of the 2018 10th International Conference on Bioinformatics and Biomedical Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3232059.3232073","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3232059.3232073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T21:13:04Z","timestamp":1751836384000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3232059.3232073"}},"subtitle":["A New Petri Net Simulation Environment Based on OpenModelica"],"short-title":[],"issued":{"date-parts":[[2018,5,16]]},"references-count":16,"alternative-id":["10.1145\/3232059.3232073","10.1145\/3232059"],"URL":"https:\/\/doi.org\/10.1145\/3232059.3232073","relation":{},"subject":[],"published":{"date-parts":[[2018,5,16]]},"assertion":[{"value":"2018-05-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}