{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T00:20:45Z","timestamp":1778890845109,"version":"3.51.4"},"reference-count":63,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Software Engineering and AI Group of the Department of Computer Science and IT, The Islamia University of Bahawalpur, Pakistan"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2958258","type":"journal-article","created":{"date-parts":[[2019,12,23]],"date-time":"2019-12-23T22:51:51Z","timestamp":1577141511000},"page":"180544-180557","source":"Crossref","is-referenced-by-count":16,"title":["Hierarchical Coloured Petri-Net Based Multi-Agent System for Flood Monitoring, Prediction, and Rescue (FMPR)"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2475-5590","authenticated-orcid":false,"given":"Nadeem","family":"Akhtar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4855-5000","authenticated-orcid":false,"given":"Abdul","family":"Rehman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9964-4716","authenticated-orcid":false,"given":"Mujtaba","family":"Hussnain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3266-3135","authenticated-orcid":false,"given":"Saad","family":"Rohail","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9903-0274","authenticated-orcid":false,"given":"Malik Saad","family":"Missen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5102-8212","authenticated-orcid":false,"given":"Mehwish","family":"Nasir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1097-9916","authenticated-orcid":false,"given":"Alina","family":"Hayder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0392-5901","authenticated-orcid":false,"given":"Nadeem","family":"Salamat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1286-5701","authenticated-orcid":false,"given":"Maruf","family":"Pasha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref38","volume":"1","author":"jensen","year":"2010","journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/333979.333987"},{"key":"ref32","first-page":"332","article-title":"An automata-theoretic approach to automatic program verification (preliminary report)","author":"vardi","year":"1986","journal-title":"Proc 1st Symp Logic in Computer Science"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/BF00709154"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"ref36","author":"magee","year":"1999","journal-title":"State models and java programs"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ISTCS.1995.377038"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref60","first-page":"35","article-title":"Contribution to the formal specification and verification of a multi-agent robotic system","volume":"117","author":"akhtar","year":"2014","journal-title":"Eur J Sci Res"},{"key":"ref62","first-page":"211","article-title":"Formal architecture and verification of a smart flood monitoring system-of-systems","volume":"16","author":"akhtar","year":"2019","journal-title":"Int Arab J Inf Technol"},{"key":"ref61","first-page":"80","article-title":"Formal verification of safety and liveness properties using coloured Petri-Nets: A flood monitoring, warning, and rescue system","volume":"9","author":"akhtar","year":"2018","journal-title":"J Inf Commun Technol Robot Appl"},{"key":"ref63","first-page":"221","article-title":"Analysis, design, architecture specification, and formal verification of a smart flood monitoring system-of-systems","volume":"28","author":"khan","year":"2016","journal-title":"Science International (Lahore)"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028741"},{"key":"ref27","article-title":"Concepts, algorithms, and tools for model checking","volume":"band","author":"katoen","year":"1999","journal-title":"Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625969"},{"key":"ref2","author":"?en","year":"2018","journal-title":"Flood Modeling Prediction and Mitigation"},{"key":"ref1","first-page":"27","article-title":"Directive 2007\/60\/ec of the European parliament and of the council of 23 October 2007 on the assessment and management of flood risks","volume":"l 288","year":"2007","journal-title":"Off J Eur Union (OJ L 288)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19971026"},{"key":"ref22","author":"clarke","year":"2018","journal-title":"Model checking"},{"key":"ref21","first-page":"1725","article-title":"Model-driven engineering in agent-based modeling and simulation: A case study in the traffic signal control domain","author":"santos","year":"2017","journal-title":"Proc 16th Conf Autonomous Agents and MultiAgent Systems"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_1"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"ref26","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref25","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref50","first-page":"367","article-title":"Autonomous and timed continuous Petri nets","author":"david","year":"1990","journal-title":"Proc 11th Int Conf Appl Theory Petri Nets Paris"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/BF01797160"},{"key":"ref59","first-page":"75","article-title":"Formal requirement and architecture specifications of a multi-agent robotic system","volume":"4","author":"akhtar","year":"2012","journal-title":"J Comput"},{"key":"ref58","first-page":"475","article-title":"Formal specification and verification of multi-agent robotics software systems-a case study","author":"akhtar","year":"2009","journal-title":"Proc Int Conf Agents Artif Intell (ICAART)"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.07.009"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2014.948936"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2015.2415047"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897339"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008395301582"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/CIMAT.1994.389097"},{"key":"ref10","first-page":"132","year":"2011","journal-title":"Railway Applications-Communication Signalling and Processing Systems-Software for Railway Control and Protection Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/958961.958963"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0038-x"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010071910869"},{"key":"ref13","first-page":"1","article-title":"From system dynamics and discrete event to practical agent based modeling: Reasons, techniques, tools","volume":"22","author":"borshchev","year":"2004","journal-title":"Proc 22nd Int Conf Syst Dyn Soc"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780195172119.001.0001"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.18564\/jasss.2661"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2017.03.001"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ecolmodel.2013.11.024"},{"key":"ref18","author":"giannakopoulou","year":"1999","journal-title":"Fairness and Priority in Progress Property Analysis"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"ref4","author":"?en","year":"2008","journal-title":"Wadi Hydrology"},{"key":"ref3","article-title":"The saudi geological survey hydrograph method for use in arid regions","author":"sen","year":"2005"},{"key":"ref6","first-page":"160","article-title":"Pakistan flooding of July-August 2010: Not only a natural disaster","volume":"3","author":"bukhari","year":"2015","journal-title":"Int J English Literature Culture"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-01742-6"},{"key":"ref8","author":"storey","year":"1996","journal-title":"Safety-Critical Computer Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4324\/9780203595015"},{"key":"ref49","first-page":"1472","article-title":"Hybrid Petri nets","author":"le bail","year":"1991","journal-title":"Proc Eur Control Conf Grenoble"},{"key":"ref9","year":"0"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-3615(97)00109-7"},{"key":"ref45","first-page":"85","author":"silva","year":"1998","journal-title":"The Petri nets for the production management systems"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(98)00016-9"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008330914786"},{"key":"ref42","article-title":"Coloured Petri nets: Basic concepts, analysis methods and practical use","author":"jensen","year":"1997","journal-title":"EATCS Monographs on Theoretical Computer Science"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050021"},{"key":"ref44","author":"westergaard","year":"2019","journal-title":"CPN Tools"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03241-1"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08926354.pdf?arnumber=8926354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:31:17Z","timestamp":1641987077000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8926354\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":63,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2958258","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]}}}