Results 51 to 60 of about 315,703 (191)
IET Communications, 2023 The authors’ work deals with modelling with coloured Petri nets (CPN) of network controlled systems (NCS) and exposes a proposal of a sensor fault detection and prevention mechanism. In NCS, the network must be viewed as part of the system and not just a
Khamsa Farah +2 more
doaj +1 more source
Generating Parallel Applications from Models Based on Petri Nets
Advances in Electrical and Electronic Engineering, 2012 Parallel and distributed systems play an important role in the development of information technologies and their applications today. These systems are very useful but their development and usage is inherently more difficult.
Stanislav Bohm, Marek Behalek
doaj +1 more source
Model Checking of Object Petri Nets in Prolog
, 2003 Object Petri nets (OPNs) provide a natural and modular method for the modelling of many real-world systems. We give a structure-preserving translation of OPNs to Prolog, avoiding the need for an unfolding to a flat Petri net.
Farwer, Berndt, Leuschel, Michael
core +1 more source
Using Coloured Petri Nets for Evaluating the Power Consumption of Wireless Sensor Networks
International Journal of Distributed Sensor Networks, 2014 Several strategies to evaluate the power consumption of of wireless sensor networks (WSNs) have been proposed. The limited amount of energy and the difficulty of recharging them have demanded the emerging of these strategies.
Antônio Dâmaso +2 more
doaj +1 more source
Modeling interactive memex-like applications based on self-modifiable petri nets [PDF]
, 2004 This paper introduces an interactive Memex-like application using a self-modifiable Petri Net model – Self-modifiable Color Petri Net (SCPN). The Memex (“memory extender”) device proposed by Vannevar Bush in 1945 focused on the problems of “locating ...
Guan, SU, Liu, W
core +1 more source
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets [PDF]
Journal of Advances in Computer Engineering and Technology, 2017 Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change.
Abdolghader pourali
doaj
Object-Centered Petri Net Process Prediction: A Case Study of Multi-System Intelligent Healthcare
IEEE AccessTo address the problem of business process prediction in smart healthcare involving the fusion of multimodal data from interactions among multiple systems, this paper proposes an object-centered explainable prediction method (OCPPP).
Shao Chifeng, Wang Qianqian
doaj +1 more source
A Graphical Approach for Hybrid Simulation of 3D Diffusion Bio-Models via Coloured Hybrid Petri Nets
Modelling and Simulation in Engineering, 2020 Three-dimensional modelling of biological systems is imperative to study the behaviour of dynamic systems that require the analysis of how their components interact in space. However, there are only a few formal tools that offer a convenient modelling of
Amr Ismail +3 more
doaj +1 more source
Representation Theorems for Petri Nets
, 1997 This paper retraces, collects, summarises, and mildly extends the contributions of the authors --- both together and individually --- on the theme of representing the space of computations of Petri nets in its mathematical ...
Meseguer, J., Montanari, U., Sassone, V.
core +1 more source
MATEC Web of Conferences, 2017 The goal of this paper is focused on identifying the behavioural structure of a flexible manufacturing cell (FMC) using a model based on Coloured Timed Petri Nets and applying hierarchical techniques.
Saren Sanjib Kumar +2 more
doaj +1 more source