{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T18:32:37Z","timestamp":1770748357134,"version":"3.50.0"},"reference-count":31,"publisher":"SAGE Publications","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIS"],"published-print":{"date-parts":[[2023,9,5]]},"abstract":"<jats:p>Sustainability is one of the main goals to pursue in several aspects of everyday life; the recent energy shortage and the price raise worsen this problem, especially in the management of energy in buildings. As the Internet of Things (IoT) is an assessed computing paradigm able to capture meaningful data from the field and send them to cloud infrastructures, other approaches are also enabled, namely model-based approaches. These methods can be used to predict functional and non-functional properties of Building Energy Management Systems (BEMS) before setting up them. This paper aims at bridging the gap between model-based approaches and physical realizations of sensing and small computing devices. Through an integrated approach, able to exploit the power of different dialects of Petri Nets, this paper proposes a methodology for the early evaluation of BEMS properties as well as the automatic generation of IoT controllers.<\/jats:p>","DOI":"10.3233\/ais-230065","type":"journal-article","created":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T14:30:31Z","timestamp":1692973831000},"page":"211-233","source":"Crossref","is-referenced-by-count":2,"title":["A Petri net oriented approach for advanced building energy management systems"],"prefix":"10.1177","volume":"15","author":[{"given":"Stefano","family":"Marrone","sequence":"first","affiliation":[{"name":"Department of Mathematics and Physics, Universit\u00e1 della Campania \u201cLuigi Vanvitelli\u201d, Caserta, Italy"}]},{"given":"Lelio","family":"Campanile","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Physics, Universit\u00e1 della Campania \u201cLuigi Vanvitelli\u201d, Caserta, Italy"}]},{"given":"Roberta","family":"De Fazio","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Physics, Universit\u00e1 della Campania \u201cLuigi Vanvitelli\u201d, Caserta, Italy"}]},{"given":"Michele","family":"Di Giovanni","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Physics, Universit\u00e1 della Campania \u201cLuigi Vanvitelli\u201d, Caserta, Italy"}]},{"given":"Ugo","family":"Gentile","sequence":"additional","affiliation":[{"name":"Institute of Food Safety and Analytical Sciences, Nestl\u00e9 Research, Lausanne, Switzerland"}]},{"given":"Fiammetta","family":"Marulli","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Physics, Universit\u00e1 della Campania \u201cLuigi Vanvitelli\u201d, Caserta, Italy"}]},{"given":"Laura","family":"Verde","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Physics, Universit\u00e1 della Campania \u201cLuigi Vanvitelli\u201d, Caserta, Italy"}]}],"member":"179","reference":[{"key":"10.3233\/AIS-230065_ref1","doi-asserted-by":"publisher","first-page":"63790","DOI":"10.1109\/ACCESS.2021.3075485","article-title":"Energy management systems and strategies in buildings sector: A scoping review","volume":"9","author":"Al-Ghaili","year":"2021","journal-title":"IEEE Access"},{"issue":"6","key":"10.3233\/AIS-230065_ref2","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1177\/0309524X19862755","article-title":"Simulation tools for a smart grid and energy management for microgrid with wind power using multi-agent system","volume":"44","author":"Azeroual","year":"2020","journal-title":"Wind Engineering"},{"key":"10.3233\/AIS-230065_ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICPM.2019.00017"},{"issue":"4","key":"10.3233\/AIS-230065_ref4","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s100090100065","article-title":"Implementing compositionality for stochastic Petri nets","volume":"3","author":"Bernardi","year":"2001","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"10","key":"10.3233\/AIS-230065_ref5","doi-asserted-by":"publisher","first-page":"4613","DOI":"10.1109\/TIE.2011.2109335","article-title":"Failure identification in smart grids based on Petri net modeling","volume":"58","author":"Calderaro","year":"2011","journal-title":"IEEE Transactions on Industrial Electronics"},{"key":"10.3233\/AIS-230065_ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2014.6961474"},{"key":"10.3233\/AIS-230065_ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CoDIT.2018.8394882"},{"key":"10.3233\/AIS-230065_ref8","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.iot.2018.12.004","article-title":"Energy-efficient smart home systems: Infrastructure and decision-making process","volume":"5","author":"Filho","year":"2019","journal-title":"Internet of Things (Netherlands)"},{"issue":"12","key":"10.3233\/AIS-230065_ref9","doi-asserted-by":"publisher","first-page":"1822","DOI":"10.1016\/j.ins.2009.01.026","article-title":"A survey on session detection methods in query logs and a proposal for future evaluation","volume":"179","author":"Gayo-Avello","year":"2009","journal-title":"Information Sciences"},{"key":"10.3233\/AIS-230065_ref10","doi-asserted-by":"publisher","first-page":"263","DOI":"10.2174\/1874110X01610010263","article-title":"\u00b5GRIMOIRE: A tool for smart micro grids modelling and energy profiling","volume":"10","author":"Gentile","year":"2016","journal-title":"Open Cybernetics and Systemics Journal"},{"key":"10.3233\/AIS-230065_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.scs.2020.102480"},{"issue":"2","key":"10.3233\/AIS-230065_ref12","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/TII.2005.844433","article-title":"Structuring and composability issues in Petri nets modeling","volume":"1","author":"Gomes","year":"2005","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"10.3233\/AIS-230065_ref13","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384809"},{"issue":"10","key":"10.3233\/AIS-230065_ref14","doi-asserted-by":"publisher","first-page":"944","DOI":"10.1109\/TSE.2002.1041051","article-title":"Fluid stochastic Petri nets augmented with flush-out arcs: A transient analysis technique","volume":"28","author":"Gribaudo","year":"2002","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.3233\/AIS-230065_ref15","doi-asserted-by":"crossref","unstructured":"M.\u00a0Gribaudo and M.\u00a0Sereno, Simulation of fluid stochastic Petri nets, in: IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems\u00a0\u2013 Proceedings, 2000, pp.\u00a0231\u2013239.","DOI":"10.1109\/MASCOT.2000.876449"},{"key":"10.3233\/AIS-230065_ref16","doi-asserted-by":"publisher","DOI":"10.1109\/FUTURETECH.2010.5482712"},{"key":"10.3233\/AIS-230065_ref17","doi-asserted-by":"publisher","DOI":"10.1109\/EFEA.2012.6294078"},{"key":"10.3233\/AIS-230065_ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISGTEurope.2014.7028784"},{"key":"10.3233\/AIS-230065_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-323-90217-5.00002-2"},{"key":"10.3233\/AIS-230065_ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.1998.706655"},{"key":"10.3233\/AIS-230065_ref21","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2016.7822355"},{"issue":"2","key":"10.3233\/AIS-230065_ref22","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1109\/TASE.2017.2650146","article-title":"Energy management improvement of hybrid electric vehicles via combined GPS\/rule-based methodology","volume":"14","author":"Ramadan","year":"2017","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"10.3233\/AIS-230065_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-04435-9_6"},{"issue":"6","key":"10.3233\/AIS-230065_ref24","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1007\/s12652-013-0176-9","article-title":"Designing and testing decision support and energy management systems for smart homes","volume":"4","author":"Siano","year":"2013","journal-title":"Journal of Ambient Intelligence and Humanized Computing"},{"key":"10.3233\/AIS-230065_ref25","doi-asserted-by":"crossref","unstructured":"C.\u00a0Sibertin-Blanc, CoOperative Objects: Principles, Use and Implementation, Springer-Verlag, 2001. ISBN 354041942X.","DOI":"10.1007\/3-540-45397-0_7"},{"key":"10.3233\/AIS-230065_ref27","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843026"},{"key":"10.3233\/AIS-230065_ref32","doi-asserted-by":"crossref","unstructured":"W.\u00a0Van Der Aalst, Process mining: Overview and opportunities, ACM Transactions on Management Information Systems 3(2) (2012), 7.","DOI":"10.1145\/2229156.2229157"},{"issue":"1","key":"10.3233\/AIS-230065_ref33","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1504\/IJCSE.2022.120792","article-title":"A genetic algorithm for real-time demand side management in smart-microgrids","volume":"25","author":"Venticinque","year":"2022","journal-title":"International Journal of Computational Science and Engineering"},{"key":"10.3233\/AIS-230065_ref34","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN51773.2022.9976111"},{"key":"10.3233\/AIS-230065_ref35","doi-asserted-by":"crossref","unstructured":"C.\u00a0Xia, Z.\u00a0Wang and Z.\u00a0Wang, The refinement of Petri net with inhibitor arcs based representation for embedded systems, Electronics 11(9) (2022), 1389, https:\/\/www.mdpi.com\/2079-9292\/11\/9\/1389.","DOI":"10.3390\/electronics11091389"},{"key":"10.3233\/AIS-230065_ref36","doi-asserted-by":"crossref","unstructured":"J.\u00a0Zheng and A.\u00a0Jamalipour, Wireless Sensor Networks: A Networking Perspective, Wiley-IEEE Press, 2009. ISBN 0470167637.","DOI":"10.1002\/9780470443521"}],"container-title":["Journal of Ambient Intelligence and Smart Environments"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AIS-230065","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,10]],"date-time":"2025-03-10T22:01:24Z","timestamp":1741644084000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/AIS-230065"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,5]]},"references-count":31,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.3233\/ais-230065","relation":{},"ISSN":["1876-1372","1876-1364"],"issn-type":[{"value":"1876-1372","type":"electronic"},{"value":"1876-1364","type":"print"}],"subject":[],"published":{"date-parts":[[2023,9,5]]}}}