{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:10Z","timestamp":1729638130144,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/patmos.2014.6951890","type":"proceedings-article","created":{"date-parts":[[2014,11,25]],"date-time":"2014-11-25T17:43:28Z","timestamp":1416937408000},"page":"1-10","source":"Crossref","is-referenced-by-count":3,"title":["Formal description of an approach for power consumption estimation of embedded systems"],"prefix":"10.1109","author":[{"given":"Dmitriy","family":"Shorin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Zimmermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"45","article-title":"Using UML to derive stochastic petri net models","author":"king","year":"1999","journal-title":"Proceedings of the 15th UK Performance Engineering Workshop"},{"journal-title":"Stochastic Discrete Event Systems - Modeling Evaluation Applications","year":"2007","author":"zimmermann","key":"22"},{"key":"17","first-page":"19","article-title":"On the integration of UML and petri nets in software development","volume":"4024","author":"campos","year":"2006","journal-title":"ICATPN"},{"key":"23","first-page":"54","article-title":"Modeling and evaluation of stochastic Petri nets with TimeNET 4.1","author":"zimmermann","year":"2012","journal-title":"6th International ICST Conference on Performance Evaluation Methodologies and Tools VALUETOOLS"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.04.077"},{"key":"24","article-title":"TimeNET 4.0: A software tool for the performability evaluation with stochastic and colored petri nets","author":"zimmermann","year":"2007","journal-title":"TU Berlin User Manual"},{"key":"15","first-page":"265","article-title":"Software performance modeling using UML and petri nets","volume":"2965","author":"merseguer","year":"2003","journal-title":"MASCOTS tutorials"},{"journal-title":"Modelling with Generalized Stochastic Petri Nets","year":"1995","author":"ajmone marsan","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured petri nets and CPN tools for modelling and validation of concurrent systems","volume":"9","author":"jensen","year":"2007","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2011.161"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1404371.1404412"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0110-7"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9123-1_10"},{"journal-title":"UML Profile for Schedulability Performance and Time Specification Version 1 1","year":"2005","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584375"},{"journal-title":"UML Profile for MARTE Modeling and Analysis of Real-Time Embedded Systems Version 1 1","year":"2011","key":"2"},{"journal-title":"OMG Unified Modeling Language (OMG UML) Infrastructure Version 2 4 1","year":"2012","key":"1"},{"key":"10","article-title":"Extension to MARTE profile for modeling dynamic power management of embedded systems","author":"arpinen","year":"2010","journal-title":"Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2010)"},{"key":"7","article-title":"Towards quantitative analysis of real-time UML using stochastic petri nets","author":"trowitzsch","year":"2005","journal-title":"Proceedings of the 13th International Workshop on Parallel and Distibuted Real-Time Systems Denver"},{"journal-title":"Performance Analysis of Communication Systems Modeling with Non-Markovian Stochastic Petri Nets","year":"2000","author":"german","key":"6"},{"key":"5","article-title":"Transforming UML state machines into stochastic petri nets for energy consumption estimation of embedded systems","author":"shorin","year":"2012","journal-title":"2nd IFIP Conference on Sustainable Internet and ICT for Sustainability (SustainIT 2012)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s40568-013-0026-0"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/s001700050050"},{"journal-title":"Quantitative Evaluation of Uml State Machines Using Stochastic Petri Nets","year":"2007","author":"trowitzsch","key":"8"}],"event":{"name":"2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)","start":{"date-parts":[[2014,9,29]]},"location":"Palma de Mallorca, Spain","end":{"date-parts":[[2014,10,1]]}},"container-title":["2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6942524\/6951857\/06951890.pdf?arnumber=6951890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T20:55:45Z","timestamp":1498164945000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6951890\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/patmos.2014.6951890","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}