{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T16:53:58Z","timestamp":1777740838424,"version":"3.51.4"},"reference-count":0,"publisher":"Central Library of the Slovak Academy of Sciences","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["cai"],"published-print":{"date-parts":[[2020]]},"DOI":"10.31577\/cai_2020_3_568","type":"journal-article","created":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T08:41:59Z","timestamp":1606120919000},"page":"568-586","source":"Crossref","is-referenced-by-count":3,"title":["New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets"],"prefix":"10.31577","volume":"39","author":[{"given":"Erik","family":"Ku\u010dera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oto","family":"Haffner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Draho\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e1n","family":"Cig\u00e1nek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juraj","family":"\u0160tefanovi\u010d","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u0160tefan","family":"Koz\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"16018","container-title":["Computing and Informatics"],"original-title":[],"link":[{"URL":"http:\/\/www.cai.sk\/ojs\/index.php\/cai\/article\/view\/2020_3_568","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T17:42:17Z","timestamp":1751910137000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.cai.sk\/ojs\/index.php\/cai\/article\/view\/2020_3_568"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":0,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2020]]}},"URL":"https:\/\/doi.org\/10.31577\/cai_2020_3_568","relation":{},"ISSN":["2585-8807"],"issn-type":[{"value":"2585-8807","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}