{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T04:52:02Z","timestamp":1784004722618,"version":"3.55.0"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031441455","type":"print"},{"value":"9783031441462","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-44146-2_36","type":"book-chapter","created":{"date-parts":[[2023,9,22]],"date-time":"2023-09-22T09:02:22Z","timestamp":1695373342000},"page":"338-353","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Mapping of Robustness Diagram with Loop and Time Controls to Petri Net with Considerations on Soundness"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-0603-4244","authenticated-orcid":false,"given":"Cris Ni\u00f1o N.","family":"Sulla","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-8776-9611","authenticated-orcid":false,"given":"Jasmine","family":"A. Malinao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,9,23]]},"reference":[{"key":"36_CR1","doi-asserted-by":"publisher","unstructured":"Callou, G.R., Maciel, P.R.M., Ara\u00fajo, C.J., Ferreira, J.: A petri net-based approach to the quantification of data center dependability. In: Petri Nets-Manufacturing and Computer Science, Chapter: A Petri Net-Based Approach to the Quantification of Data Center Dependability, pp. 313\u2013336 (2012). https:\/\/doi.org\/10.5772\/47829","DOI":"10.5772\/47829"},{"key":"36_CR2","unstructured":"Delos Reyes, R., Agnes, K.M., Malinao, J., Juayong, R.A.: Matrix representation and automation of verification of soundness of robustness diagram with loop and time controls. Workshop Comput.: Theory Pract. 2018, 1 (2018). eBook ISBN: 9780429261350"},{"key":"36_CR3","unstructured":"Lopez, J.C.L., Bayuga, M.J., Juayong, R.A., Malinao, J.A., Caro, J., Tee, M.: Workflow models for integrated disease surveillance and response systems. Theory Pract. Comput., 1 (2020). eBook ISBN: 9780367814656"},{"key":"36_CR4","doi-asserted-by":"publisher","unstructured":"Malinao, J.A.: Dissertation: on building multidimensional workflow models for complex systems modelling. Fakult\u00e4t f\u00fcr Informatik (Pattern Recognition and Image Processing Group) Institute of Computer Graphics and Algorithm (2017). https:\/\/doi.org\/10.34726\/hss.2017.43523","DOI":"10.34726\/hss.2017.43523"},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"Malinao, J.A., Juayong, R.A.: Classical soundness in robustness diagram with loop and time controls. (Submitted to PJS 2023) (2023)","DOI":"10.56899\/152.6B.06"},{"issue":"4","key":"36_CR6","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989). https:\/\/doi.org\/10.1109\/5.24143","journal-title":"Proc. IEEE"},{"key":"36_CR7","doi-asserted-by":"publisher","unstructured":"van der Aalst, W., et al.: Soundness of workflow nets with reset arcs. ToPNoC III, LNCS 5800, pp. 50\u201370, (2009). https:\/\/doi.org\/10.1007\/978-3-642-04856-2","DOI":"10.1007\/978-3-642-04856-2"},{"key":"36_CR8","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M.P.: Structural characterizations of sound workflow nets. Comput. Sci. Rep., 9623, (1996). https:\/\/doi.org\/10.1016\/j.ipl.2005.06.002","DOI":"10.1016\/j.ipl.2005.06.002"},{"key":"36_CR9","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"WMP van der Aalst","year":"2011","unstructured":"van der Aalst, W.M.P., et al.: Soundness of workflow nets: Classification, decidability, and analysis. Formal Aspects Comput. 23, 333\u2013363 (2011). https:\/\/doi.org\/10.1007\/s00165-010-0161-4","journal-title":"Formal Aspects Comput."},{"key":"36_CR10","unstructured":"Yiu, A., Garcia, J., Malinao, J.A., Juayong, R.: On model decomposition of multidimensional workflow diagrams. Workshop on Computation: Theory and Practice 2018 (2018)"}],"container-title":["Lecture Notes in Networks and Systems","Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-44146-2_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T18:39:49Z","timestamp":1730140789000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-44146-2_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031441455","9783031441462"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-44146-2_36","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"value":"2367-3370","type":"print"},{"value":"2367-3389","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"23 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NiDS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Novel & Intelligent Digital Systems Conferences","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Athens","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nids2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iis-international.org\/nids2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}