{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T04:05:38Z","timestamp":1748491538634,"version":"3.41.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031887048","type":"print"},{"value":"9783031887055","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-88705-5_19","type":"book-chapter","created":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T12:33:43Z","timestamp":1748435623000},"page":"223-240","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Addressing Graphviz File Generation Issue in\u00a0CPN Tools: A Java-Based Solution"],"prefix":"10.1007","author":[{"given":"Vikas Kumar","family":"Patel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anshul","family":"Verma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pradeepika","family":"Verma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,5,29]]},"reference":[{"issue":"3","key":"19_CR1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K Jensen","year":"1981","unstructured":"Jensen, K.: Coloured petri nets and the invariant-method. Theoret. Comput. Sci. 14(3), 317\u2013336 (1981)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"19_CR2","first-page":"70","volume":"17","author":"R Alur","year":"1996","unstructured":"Alur, R., Holzmann, G., Peled, D.: An analyzer for message sequence charts. Softw.-Concepts Tools 17(2), 70\u201377 (1996)","journal-title":"Softw.-Concepts Tools"},{"key":"19_CR3","unstructured":"Westergaard, M., Slaats, T.: Cpn tools 4: a process modeling tool combining declarative and imperative paradigms. In: BPM Demo Sessions 2013 (Co-located with 11th International Conference on Business Process Management, BPM2013, Beijing, China, August 26-30, 2013), pp.\u00a01\u20135, CEUR-WS. org, 2013"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Westergaard, M.: Cpn tools 4: Multi-formalism and extensibility. In: International Conference on Applications and Theory of Petri Nets and Concurrency, pp.\u00a0400\u2013409. Springer (2013)","DOI":"10.1007\/978-3-642-38697-8_22"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.procs.2014.05.430","volume":"32","author":"A Verma","year":"2014","unstructured":"Verma, A., Pattanaik, K.: Mobile agent based train control system for mitigating meet conflict at turnout. Procedia Comput. Sci. 32, 317\u2013324 (2014)","journal-title":"Procedia Comput. Sci."},{"key":"19_CR6","unstructured":"Verma, A., Pattanaik, K., Goel, P.: Mobile agent based cbtc system with moving block signalling for Indian railways. In: Proceedings of the 2nd International Conference on Railway Technology: Research, Development and Maintenance, Ajaccio, Corsica, paper, vol.\u00a0278, pp.\u00a08\u201311, 2014"},{"issue":"3","key":"19_CR7","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1002\/sys.20095","volume":"11","author":"M Rao","year":"2008","unstructured":"Rao, M., Ramakrishnan, S., Dagli, C.: Modeling and simulation of net centric system of systems using systems modeling language and colored petri-nets: A demonstration using the global earth observation system of systems. Syst. Eng. 11(3), 203\u2013220 (2008)","journal-title":"Syst. Eng."},{"key":"19_CR8","unstructured":"Gansner, E.R.: Drawing graphs with graphviz. AT &T Bell Laboratories, Murray, Technical report (2009)"},{"key":"19_CR9","unstructured":"Loy, M., Eckstein, R., Wood, D., Elliott, J., Cole, B.: Java swing. O\u2019Reilly Media, Inc. (2002)"},{"issue":"3","key":"19_CR10","doi-asserted-by":"publisher","first-page":"250","DOI":"10.17706\/jsw.10.3.250-259","volume":"10","author":"A Verma","year":"2015","unstructured":"Verma, A., Pattanaik, K.: Multi-agent communication based train control system for Indian railways: the structural design. J. Softw. 10(3), 250\u2013259 (2015)","journal-title":"J. Softw."},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/s40534-015-0083-1","volume":"23","author":"A Verma","year":"2015","unstructured":"Verma, A., Pattanaik, K.: Multi-agent communication-based train control system for Indian railways: the behavioural analysis. J. Modern Transp. 23, 272\u2013286 (2015)","journal-title":"J. Modern Transp."},{"issue":"1","key":"19_CR12","first-page":"31","volume":"14","author":"C Ghosh","year":"2022","unstructured":"Ghosh, C., Verma, A., Verma, P.: Real time fault detection in railway tracks using fast fourier transformation and discrete wavelet transformation. Int. J. Inf. Technol. 14(1), 31\u201340 (2022)","journal-title":"Int. J. Inf. Technol."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Ellson, J., Gansner, E.R., Koutsofios, E., North, S.C., Woodhull, G.: Graphviz and dynagraph-static and dynamic graph drawing tools. Graph drawing software, pp.\u00a0127\u2013148 (2004)","DOI":"10.1007\/978-3-642-18638-7_6"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Patel, V.K., Verma, A., Verma, P.: A covid-19 vaccine notifier android app \u201ccowin mitra\u201d. In: Research Advances in Network Technologies, pp.\u00a0223\u2013243, CRC Press (2023)","DOI":"10.1201\/9781003320333-16"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Tsai, Y.: Model integration using sml. DECISION SUPPORT SYSTEMS, vol.\u00a022, pp.\u00a0355\u2013377, April 1998","DOI":"10.1016\/S0167-9236(97)00065-1"},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured petri nets and cpn tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transfer 9, 213\u2013254 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"19_CR17","unstructured":"Patel, V.K., Verma, A., Verma, P.: Comparative study of train operation simulators. J. Sci. Res.\u00a066(4) (2023)"},{"issue":"1","key":"19_CR18","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1287\/opre.40.1.38","volume":"40","author":"AM Geoffrion","year":"1992","unstructured":"Geoffrion, A.M.: The sml language for structured modeling: Levels 1 and 2. Oper. Res. 40(1), 38\u201357 (1992)","journal-title":"Oper. Res."},{"key":"19_CR19","first-page":"237","volume":"3","author":"K Jensen","year":"1998","unstructured":"Jensen, K.: An introduction to the practical use of coloured petri nets. Lectures Petri Nets II: Appl. Adv. Petri Nets 3, 237\u2013292 (1998)","journal-title":"Lectures Petri Nets II: Appl. Adv. Petri Nets"},{"issue":"1","key":"19_CR20","first-page":"112","volume":"10","author":"P Ragunath","year":"2010","unstructured":"Ragunath, P., Velmourougan, S., Davachelvan, P., Kayalvizhi, S., Ravimohan, R.: Evolving a new model (sdlc model-2010) for software development life cycle (sdlc). Int. J. Comput. Sci. Network Secur. 10(1), 112\u2013119 (2010)","journal-title":"Int. J. Comput. Sci. Network Secur."},{"issue":"7","key":"19_CR21","first-page":"427","volume":"4","author":"AA Adenowo","year":"2013","unstructured":"Adenowo, A.A., Adenowo, B.A.: Software engineering methodologies: a review of the waterfall model and object-oriented approach. Int. J. Sci. Eng. Res. 4(7), 427\u2013434 (2013)","journal-title":"Int. J. Sci. Eng. Res."},{"key":"19_CR22","unstructured":"Walrath, K.: The JFC Swing tutorial: a guide to constructing GUIs. Addison-Wesley Professional (2004)"},{"key":"19_CR23","unstructured":"Zukowski, J.: The definitive guide to Java Swing. Apress (2006)"},{"key":"19_CR24","unstructured":"Yadav, A.: Amazon Cloud Computing with Java. Lulu. com (2010)"},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"Pill, I., \u00a0Semprini, S., \u00a0Cavada, R., \u00a0Roveri, M., \u00a0Bloem, R., \u00a0Cimatti, A.: Formal analysis of hardware requirements. In: Proceedings of the 43rd annual Design Automation Conference, pp.\u00a0821\u2013826 (2006)","DOI":"10.1109\/DAC.2006.229231"},{"key":"19_CR26","unstructured":"Horstmann, C.S., \u00a0Cornell, G.: Core Java: Advanced Features, vol.\u00a02. Prentice Hall (2008)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Human Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-88705-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T12:33:51Z","timestamp":1748435631000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-88705-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031887048","9783031887055"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-88705-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"29 May 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with Ethical Standards"}},{"value":"We gratefully acknowledge the support of the Science and Engineering Research Board, India under Grant No. EEQ\/2022\/000844 and the Institutions of Eminence (IoE) Scheme of Banaras Hindu University, Varanasi under Dev. Scheme No. 6031.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Funding"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval"}},{"value":"Vikas Kumar Patel: Conceptualization, Methodology, Software, Validation, Investigation, Writing - Original Draft, Visualization. Anshul Verma: Methodology, Resources, Writing - Original Draft, Supervision, Project administration, Funding acquisition. Pradeepika Verma: Investigation, Visualization, Writing - Review and Editing.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Author Contributions"}},{"value":"This manuscript does not involve the use of any new data. All information presented is based on previously published research articles and theoretical considerations. Therefore, there are no data to be made available.","order":5,"name":"Ethics","group":{"name":"EthicsHeading","label":"Data Availability"}},{"value":"The authors declare that they have no conflict of interest.","order":6,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}},{"value":"IHCI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Human Computer Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Twente","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ihci2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.utwente.nl\/en\/bms\/ihci2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}