{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:15:51Z","timestamp":1750220151067,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,16]],"date-time":"2022-05-16T00:00:00Z","timestamp":1652659200000},"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":[[2022,5,16]]},"DOI":"10.1145\/3535511.3535539","type":"proceedings-article","created":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T19:57:19Z","timestamp":1656619039000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Bottom Up Approach for Modeling Business Process using Time Petri Nets"],"prefix":"10.1145","author":[{"given":"Danillo Siqueira","family":"Ramos","sequence":"first","affiliation":[{"name":"Programa de P\u00f3s Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Universidade Federal de Sergipe, Brazil"}]},{"given":"F\u00e1bio","family":"Rocha","sequence":"additional","affiliation":[{"name":"Universidade Tiradentes, Brazil"}]},{"given":"Michel dos Santos","family":"Soares","sequence":"additional","affiliation":[{"name":"Programa de P\u00f3s Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Universidade Federal de Sergipe, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2022,6,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CoDIT.2019.8820467"},{"key":"e_1_3_2_1_2_1","volume-title":"Possible Improvements in UML Behavior Diagrams. In 2014 International Conference on Computational Science and Computational Intelligence, Vol.\u00a02. 173\u2013178","author":"Alhumaidan Fahad","year":"2014","unstructured":"Fahad Alhumaidan and Nazir\u00a0Ahmad Zafar . 2014 . Possible Improvements in UML Behavior Diagrams. In 2014 International Conference on Computational Science and Computational Intelligence, Vol.\u00a02. 173\u2013178 . https:\/\/doi.org\/10.1109\/CSCI.2014.113 Fahad Alhumaidan and Nazir\u00a0Ahmad Zafar. 2014. Possible Improvements in UML Behavior Diagrams. In 2014 International Conference on Computational Science and Computational Intelligence, Vol.\u00a02. 173\u2013178. https:\/\/doi.org\/10.1109\/CSCI.2014.113"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Tamara Almarabeh Yousef\u00a0Kh Majdalawi and Hiba Mohammad. 2016. Cloud Computing of E-Government. (2016). Tamara Almarabeh Yousef\u00a0Kh Majdalawi and Hiba Mohammad. 2016. Cloud Computing of E-Government. (2016).","DOI":"10.4236\/cn.2016.81001"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2015.32"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/3018601.3018603"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.05.004"},{"key":"e_1_3_2_1_7_1","first-page":"57","article-title":"IDEF0 Modeling Standard: a tool for process map drawing under requirements of ISO 9001: 2015: a case study","volume":"8","author":"Baghbani Mohammad","year":"2019","unstructured":"Mohammad Baghbani . 2019 . IDEF0 Modeling Standard: a tool for process map drawing under requirements of ISO 9001: 2015: a case study . Journal of Modern Processes in Manufacturing and Production 8 , 4(2019), 57 \u2013 66 . Mohammad Baghbani. 2019. IDEF0 Modeling Standard: a tool for process map drawing under requirements of ISO 9001: 2015: a case study. Journal of Modern Processes in Manufacturing and Production 8, 4(2019), 57\u201366.","journal-title":"Journal of Modern Processes in Manufacturing and Production"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","first-page":"2019","DOI":"10.1002\/spe.2608","article-title":"Microservices Migration Patterns. Software","volume":"48","author":"Balalaie Armin","year":"2018","unstructured":"Armin Balalaie , Abbas Heydarnoori , Pooyan Jamshidi , Damian\u00a0 A Tamburri , and Theo Lynn . 2018 . Microservices Migration Patterns. Software : Practice and Experience 48 , 11 (2018), 2019 \u2013 2042 . Armin Balalaie, Abbas Heydarnoori, Pooyan Jamshidi, Damian\u00a0A Tamburri, and Theo Lynn. 2018. Microservices Migration Patterns. Software: Practice and Experience 48, 11 (2018), 2019\u20132042.","journal-title":"Practice and Experience"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0593-x"},{"key":"e_1_3_2_1_10_1","volume-title":"SEBD 2011, Proceedings of the Nineteenth Italian Symposium on Advanced Database Systems","author":"Cerbo Francesco\u00a0Di","year":"2011","unstructured":"Francesco\u00a0Di Cerbo , Gabriella Dodero , Gianna Reggio , Filippo Ricca , and Giuseppe Scanniello . 2011 . Assessing the Effectiveness of \u201dPrecise\u201d Activity Diagrams in the Context of Business Process Modeling. In Sistemi Evoluti per Basi di Dati - SEBD 2011, Proceedings of the Nineteenth Italian Symposium on Advanced Database Systems , Maratea, Italy , June 26-29, 2011, Giansalvatore Mecca and Sergio Greco (Eds.). 373\u2013380. Francesco\u00a0Di Cerbo, Gabriella Dodero, Gianna Reggio, Filippo Ricca, and Giuseppe Scanniello. 2011. Assessing the Effectiveness of \u201dPrecise\u201d Activity Diagrams in the Context of Business Process Modeling. In Sistemi Evoluti per Basi di Dati - SEBD 2011, Proceedings of the Nineteenth Italian Symposium on Advanced Database Systems, Maratea, Italy, June 26-29, 2011, Giansalvatore Mecca and Sergio Greco (Eds.). 373\u2013380."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.06.018"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/43.3.224"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.im.2016.09.006"},{"volume-title":"Formal Methods for Industrial Critical Systems","author":"Davis A.","key":"e_1_3_2_1_14_1","unstructured":"Jennifer\u00a0 A. Davis , Matthew Clark , Darren Cofer , Aaron Fifarek , Jacob Hinchman , Jonathan Hoffman , Brian Hulbert , Steven\u00a0 P. Miller , and Lucas Wagner . 2013. Study on the Barriers to the Industrial Adoption of Formal Methods . In Formal Methods for Industrial Critical Systems , Charles Pecheur and Michael Dierkes (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 63\u201377. Jennifer\u00a0A. Davis, Matthew Clark, Darren Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan Hoffman, Brian Hulbert, Steven\u00a0P. Miller, and Lucas Wagner. 2013. Study on the Barriers to the Industrial Adoption of Formal Methods. In Formal Methods for Industrial Critical Systems, Charles Pecheur and Michael Dierkes (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 63\u201377."},{"key":"e_1_3_2_1_15_1","unstructured":"Ana\u00a0M Fern\u00e1ndez-S\u00e1ez Michel\u00a0RV Chaudron and Marcela Genero. 2013. Exploring Costs and Benefits of Using UML on Maintenance: Preliminary Findings of a Case Study in a Large IT Department. In EESSMOD@ MoDELS. Citeseer 33\u201342. Ana\u00a0M Fern\u00e1ndez-S\u00e1ez Michel\u00a0RV Chaudron and Marcela Genero. 2013. Exploring Costs and Benefits of Using UML on Maintenance: Preliminary Findings of a Case Study in a Large IT Department. In EESSMOD@ MoDELS. Citeseer 33\u201342."},{"key":"e_1_3_2_1_16_1","first-page":"6","article-title":"An introduction to UML profiles","volume":"2","author":"Fuentes-Fern\u00e1ndez Lidia","year":"2004","unstructured":"Lidia Fuentes-Fern\u00e1ndez and Antonio Vallecillo-Moreno . 2004 . An introduction to UML profiles . UML and Model Engineering 2 , 6 - 13 (2004), 72. Lidia Fuentes-Fern\u00e1ndez and Antonio Vallecillo-Moreno. 2004. An introduction to UML profiles. UML and Model Engineering 2, 6-13 (2004), 72.","journal-title":"UML and Model Engineering"},{"volume-title":"Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications","author":"Girault Claude","key":"e_1_3_2_1_17_1","unstructured":"Claude Girault and Rudiger Valk . 2002. Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications . Springer-Verlag New York, Inc. , Secaucus, NJ, USA . Claude Girault and Rudiger Valk. 2002. Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag New York, Inc., Secaucus, NJ, USA."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.169"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2018.2141039"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2018.2141039"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.giq.2015.07.001"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.388774"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90014-7"},{"key":"e_1_3_2_1_24_1","unstructured":"Agnes Koschmider Andreas Oberweis and Wolffried Stucky. 2018. A Petri net-based View on the Business Process Life-Cycle. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13 Special(2018) 47\u201355. Agnes Koschmider Andreas Oberweis and Wolffried Stucky. 2018. A Petri net-based View on the Business Process Life-Cycle. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13 Special(2018) 47\u201355."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/FiCloud.2015.55"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.chb.2016.09.041"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZY.2000.838688"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2692262"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2021.101880"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2017.61"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Abdul\u00a0Karim Mohamad Mailasan Jayakrishnan and Mokhtar\u00a0Mohd Yusof. 2022. Thriving Information System Through Business Intelligence Knowledge Management Excellence Framework. International Journal of Electrical & Computer Engineering (2088-8708) 12 1(2022). Abdul\u00a0Karim Mohamad Mailasan Jayakrishnan and Mokhtar\u00a0Mohd Yusof. 2022. Thriving Information System Through Business Intelligence Knowledge Management Excellence Framework. International Journal of Electrical & Computer Engineering (2088-8708) 12 1(2022).","DOI":"10.11591\/ijece.v12i1.pp506-514"},{"key":"e_1_3_2_1_33_1","first-page":"541","article-title":"Petri nets","volume":"77","author":"Murata Tadao","year":"1989","unstructured":"Tadao Murata . 1989 . Petri nets : Properties, Analysis and Applications. Proc. IEEE 77 , 4 (1989), 541 \u2013 580 . Tadao Murata. 1989. Petri nets: Properties, Analysis and Applications. Proc. IEEE 77, 4 (1989), 541\u2013580.","journal-title":"Properties, Analysis and Applications. Proc. IEEE"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1177\/1687814018808170"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(01)00027-2"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the 2nd GSTF annual international conference on software engineering & applications (SEA","author":"Ramadan Mohamed","year":"2011","unstructured":"Mohamed Ramadan , Hicham\u00a0 G Elmongui , and Riham Hassan . 2011 . BPMN Formalisation Using Coloured Petri Nets . In Proceedings of the 2nd GSTF annual international conference on software engineering & applications (SEA 2011). 83\u201390. Mohamed Ramadan, Hicham\u00a0G Elmongui, and Riham Hassan. 2011. BPMN Formalisation Using Coloured Petri Nets. In Proceedings of the 2nd GSTF annual international conference on software engineering & applications (SEA 2011). 83\u201390."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.04.004"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10032-020-00361-1"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31128-4_2"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.01.018"},{"volume-title":"Proceedings of the IASTED International Conference on Software Engineering","author":"S.","key":"e_1_3_2_1_42_1","unstructured":"Michel\u00a0 S. Soares and Jos Vrancken. 2008. A Metamodeling Approach to Transform UML 2.0 Sequence Diagrams to Petri Nets . In Proceedings of the IASTED International Conference on Software Engineering ( Innsbruck, Austria) (SE \u201908). ACTA Press, USA, 159\u2013\u2013164. Michel\u00a0S. Soares and Jos Vrancken. 2008. A Metamodeling Approach to Transform UML 2.0 Sequence Diagrams to Petri Nets. In Proceedings of the IASTED International Conference on Software Engineering (Innsbruck, Austria) (SE \u201908). ACTA Press, USA, 159\u2013\u2013164."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2012.06.005"},{"key":"e_1_3_2_1_44_1","volume-title":"Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2007","author":"S.","year":"2007","unstructured":"Michel\u00a0 S. Soares and Jos L.\u00a0M. Vrancken. 2007. Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic . In Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2007 , London, UK , 15-17 April 2007 . IEEE, 169\u2013174. Michel\u00a0S. Soares and Jos L.\u00a0M. Vrancken. 2007. Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic. In Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2007, London, UK, 15-17 April 2007. IEEE, 169\u2013174."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-5273(01)00184-0"},{"key":"e_1_3_2_1_46_1","volume-title":"Exploratory research. The Production of Knowledge: Enhancing Progress in Social Science","author":"Swedberg Richard","year":"2020","unstructured":"Richard Swedberg . 2020. Exploratory research. The Production of Knowledge: Enhancing Progress in Social Science ( 2020 ), 17\u201341. Richard Swedberg. 2020. Exploratory research. The Production of Knowledge: Enhancing Progress in Social Science (2020), 17\u201341."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111139"},{"volume-title":"Modular Construction and Partial Order Semantics of Petri Nets","author":"Vogler W.","key":"e_1_3_2_1_48_1","unstructured":"W. Vogler . 1992. Modular Construction and Partial Order Semantics of Petri Nets . Springer-Verlag , Secaucus, NJ, USA . W. Vogler. 1992. Modular Construction and Partial Order Semantics of Petri Nets. Springer-Verlag, Secaucus, NJ, USA."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2021.101901"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.4108\/valuetools.2012.250263"}],"event":{"name":"SBSI: XVIII Brazilian Symposium on Information Systems","acronym":"SBSI","location":"Curitiba Brazil"},"container-title":["XVIII Brazilian Symposium on Information Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3535511.3535539","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3535511.3535539","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:08Z","timestamp":1750186808000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3535511.3535539"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,16]]},"references-count":49,"alternative-id":["10.1145\/3535511.3535539","10.1145\/3535511"],"URL":"https:\/\/doi.org\/10.1145\/3535511.3535539","relation":{},"subject":[],"published":{"date-parts":[[2022,5,16]]},"assertion":[{"value":"2022-06-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}