{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:03:46Z","timestamp":1730275426694,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,22]],"date-time":"2024-05-22T00:00:00Z","timestamp":1716336000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,22]],"date-time":"2024-05-22T00:00:00Z","timestamp":1716336000000},"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":[[2024,5,22]]},"DOI":"10.1109\/isorc61049.2024.10551343","type":"proceedings-article","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T17:28:14Z","timestamp":1718213294000},"page":"1-12","source":"Crossref","is-referenced-by-count":0,"title":["Time Granularity in Behavioural Structured Acyclic Nets"],"prefix":"10.1109","author":[{"given":"Salma","family":"Alharbi","sequence":"first","affiliation":[{"name":"School of Computing,Newcastle,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Generalised SON definitions","volume-title":"Technical report","author":"Alahmadi","year":"2023"},{"journal-title":"Hierarchical simulation of timed behaviours of structured occurrence nets","year":"2023","author":"Alharbi","key":"ref2"},{"key":"ref3","article-title":"Analysing and visualizing big data sets of crime investigations using structured occurrence nets","volume-title":"PhD thesis","author":"Alharbi","year":"2016"},{"key":"ref4","first-page":"121","article-title":"Visualising data sets in structured occurrence nets","author":"Alharbi","year":"2018","journal-title":"PNSE@ Petri Nets\/ACSD"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.1999.823046"},{"key":"ref6","first-page":"35","article-title":"Time in structured occurrence nets","volume-title":"Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, Toru\u0144, Poland, June 20-21, 2016","volume":"1591","author":"Bhattacharyya"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/76359.76360"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(05)80005-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2019.8935861"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2009-192"},{"journal-title":"Visualisation and analysis of complex behaviours using structured occurrence nets","year":"2017","author":"Li","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2018.00010"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34222-6_14"},{"volume-title":"Metric and layered temporal logic for time granularity","year":"1996","author":"Montanari","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1040046089"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0071"},{"volume-title":"Workcraft homepage","author":"Poliakov","key":"ref17"},{"key":"ref18","article-title":"Incremental construction of structured occurrence nets","author":"Randell","year":"2013","journal-title":"School of Computing Science Technical Report Series"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75292-9_18"}],"event":{"name":"2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC)","start":{"date-parts":[[2024,5,22]]},"location":"Tunis, Tunisia","end":{"date-parts":[[2024,5,25]]}},"container-title":["2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10551300\/10551323\/10551343.pdf?arnumber=10551343","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T19:10:22Z","timestamp":1719342622000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10551343\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,22]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/isorc61049.2024.10551343","relation":{},"subject":[],"published":{"date-parts":[[2024,5,22]]}}}