Search
Search Results
-
CBPNs: coloured behavioural petri nets for model-based diagnosis
During the last two decades, Petri Nets (PNs) are used extensively in model-based diagnosis. However, the net model becomes fairly complex when...
-
Transpilation of Petri-nets into B
Petri-nets and their variants (Place/Transition nets, High-Level Petri Nets, etc.) are widely used in the development of safety critical-systems.... -
Smart bird identification system based on a hybrid approach: Petri nets, convolutional neural and deep residual networks
Currently, most people mind the environmental ecology and animal protection. To maintain the ecology of wild animals, the relevant associations have...
-
A coloured Petri nets-based system for validation of biomedical signal acquisition devices
Biomedical signal acquisition devices (e.g., Electrocardiography—ECG) are relevant for diagnosing and monitoring persons who have developed a variety...
-
Design of Event-Driven Tsetlin Machines Using Safe Petri Nets
In the last decade, there has been a significant shift towards the use of machine learning (ML) within the technology industry. One prominent ML... -
Formal Translation from Reversing Petri Nets to Coloured Petri Nets
Reversing Petri nets (RPNs) have recently proposed as a Petri-net inspired formalism that supports the modelling of causal and out-of-causal order... -
Modular design and adaptive control of urban signalized intersections systems using synchronized timed Petri nets
Traffic flow at urban intersections varies randomly during the day. It depends on several dynamic factors and requires efficient regulation and...
-
Employing RNN and Petri Nets to Secure Edge Computing Threats in Smart Cities
The Industrial Internet of Things (IIoT) revolution has led to the development a potential system that enhances communication among a city's assets....
-
Forest fire monitoring system supported by unmanned aerial vehicles and edge computing: a performance evaluation using petri nets
Forest fires cause damage to life, biodiversity, and properties, affecting natural ecosystems, healthy and only. During the practical application of...
-
Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation
Nowadays Discrete Event Systems (DESs) require complex and large models, for which distributed simulation engines become, in practice, the tools used... -
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study
Ideally, safety-critical systems should be designed to avoid or be resilient in handling failures that may occur during their lifetime. For... -
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets
Continuous Petri nets (CPNs) form a model of (uncountably infinite) dynamic systems that has been successfully explored for modelling and theoretical... -
Coverage visualization and analysis of net inscriptions in coloured Petri net models
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...
-
Using Colored Petri Nets for Optimization of Healthcare Processes
Simulation has been used in various aspects of healthcare delivery. One significant area has been the role of computer modeling and simulation use in... -
Process Comparison Using Petri Net Decomposition
Business processes drive the value creation at companies requiring them to constantly monitor and improve the former. The field of Process Comparison... -
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers
This paper describes an interactive tool to remotely debug, control, and monitor controllers designed using IOPT Petri nets. The controllers run on... -
Resource Planning in Workflow Nets Based on a Symbolic Time Constraint Propagation Mechanism
The main proposal of this work is to present an approach based on the formalism of Petri nets in order to describe the time constraints of resources... -
Verifying Computation Tree Logic Based on Petri Nets
This chapter introduces computation tree logic that is a kind of language specifying lots of design requirements of concurrent systems. Then the... -
Resource-Wokflow Petri Nets with Time Tokens and Their Application in Process Management
Resource-workflow Petri nets with time tokens (RWPNTT) are the newly-introduced class of low-level process Petri nets in this article. The theory of... -
High Level Petri Nets Application for Reliability Visualization on Multi Echelon Supply Chain
The supply chain management is one of the important processes in every organization. The agile and economical supply chains become the competitive...