{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T01:18:45Z","timestamp":1751937525558},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/CAA J. Autom. Sinica"],"published-print":{"date-parts":[[2019,5]]},"DOI":"10.1109\/jas.2019.1911486","type":"journal-article","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T13:26:51Z","timestamp":1561469211000},"page":"733-742","source":"Crossref","is-referenced-by-count":16,"title":["Verification of hypertorus communication grids by infinite petri nets and process algebra"],"prefix":"10.1109","volume":"6","author":[{"given":"Dmitry A.","family":"Zaitsev","sequence":"first","affiliation":[{"name":"Vistula University, Warsaw 02-787, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatiana R.","family":"Shmeleva","sequence":"additional","affiliation":[{"name":"A. S. Popov Odessa National Academy of Telecommunications, Odessa 65023, Ukraine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan Friso","family":"Groote","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, PO Box 513, 5600 MB Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","container-title":["IEEE\/CAA Journal of Automatica Sinica"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6570654\/8707098\/08707130.pdf?arnumber=8707130","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,23]],"date-time":"2024-02-23T15:22:03Z","timestamp":1708701723000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8707130\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5]]},"references-count":0,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/jas.2019.1911486","relation":{},"ISSN":["2329-9266","2329-9274"],"issn-type":[{"value":"2329-9266","type":"print"},{"value":"2329-9274","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,5]]}}}