Browsing Fakultet for ingeniør- og naturvitskap / Faculty of Engineering and Science by Journals "Innovations in Systems and Software Engineering"
Now showing items 1-2 of 2
-
Coverage visualization and analysis of net inscriptions in coloured Petri net models
(Peer reviewed; Journal article, 2023)High-level Petri nets such as coloured Petri nets (CPNs) are characterized by the combination of Petri nets and a high-level programming language. In CPNs and CPN Tools, the inscriptions (e.g. arc expressions and guards) ... -
User-centred design of clinical dashboards for guided iCBT
(Peer reviewed; Journal article, 2022)As Internet-based technology spreads to most areas of life, it becomes a challenge to grasp opportunities arising from enormous amounts of data being generated from various sources such as smart homes, smart cities, health ...