{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T06:35:37Z","timestamp":1769063737164,"version":"3.49.0"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,10,20]],"date-time":"2021-10-20T00:00:00Z","timestamp":1634688000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,20]],"date-time":"2021-10-20T00:00:00Z","timestamp":1634688000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,20]],"date-time":"2021-10-20T00:00:00Z","timestamp":1634688000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10,20]]},"DOI":"10.1109\/icstcc52150.2021.9607302","type":"proceedings-article","created":{"date-parts":[[2021,11,18]],"date-time":"2021-11-18T01:12:33Z","timestamp":1637197953000},"page":"431-436","source":"Crossref","is-referenced-by-count":6,"title":["Quantum Petri Nets"],"prefix":"10.1109","author":[{"given":"Tiberiu S.","family":"Letia","sequence":"first","affiliation":[]},{"given":"Elenita M.","family":"Durla-Pasca","sequence":"additional","affiliation":[]},{"given":"Dahlia","family":"Al-Janabi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00191-1"},{"key":"ref11","article-title":"Supervisory Control of Quantum Discrete Event Systems","author":"qiu","year":"2021","journal-title":"arXiv 2104 09753v2"},{"key":"ref12","article-title":"Formal verification of quantum communication protocols using Petri nets","author":"zhang","year":"2017","journal-title":"arXiv 1704 07031v1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3390\/app11072949"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875448"},{"key":"ref4","article-title":"Object Enhanced Time Petri Nets","author":"letia","year":"2018","journal-title":"3rd International Conference on Event-Based Control Communication and Signal Processing (EBCCSP)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2018.11.002"},{"key":"ref6","author":"ito","year":"2008","journal-title":"Modeling Quantum Computer by using Quantum Petri Net"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1038\/npjqi.2015.23"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.103.150502"},{"key":"ref7","article-title":"Quantum Computing: Lecture Notes","author":"de wolf","year":"2019","journal-title":"arXiv 1907 09411"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2020.102933"},{"key":"ref1","author":"van meter","year":"2016","journal-title":"Local and Distributed Quantum Computation"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2016.2610979"}],"event":{"name":"2021 25th International Conference on System Theory, Control and Computing (ICSTCC)","location":"Iasi, Romania","start":{"date-parts":[[2021,10,20]]},"end":{"date-parts":[[2021,10,23]]}},"container-title":["2021 25th International Conference on System Theory, Control and Computing (ICSTCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9607028\/9606851\/09607302.pdf?arnumber=9607302","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:51:46Z","timestamp":1652201506000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9607302\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,20]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icstcc52150.2021.9607302","relation":{},"subject":[],"published":{"date-parts":[[2021,10,20]]}}}