Search
Search Results
-
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...
-
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...
-
Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application
The construction of reachability graphs is suited to verify the properties and behavior of Petri net models based on the structure of the net and...
-
Introduction
The introduction provides three perspectives on interoperability, covering interoperability levels and tasks, scenarios and methods, as well as the...
-
CosyVerif: The Path to Formalisms Cohabitation
More and more model checking approaches rely nowadays on several inputs, potentially expressed in different formalisms. Tools implementing these...
-
Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems
The paper describes the Hippo-CPS tool in the verification of Petri net-based cyber-physical systems. In particular, verification of the key...
-
Towards Digital Twin in the Context of Power Wheelchairs Provision and Support
Recent advances in digital technologies have been triggered by Industry 4.0, deeply focused on connectivity, real-time data and digitization, with...
-
Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets
Performance evaluation models and techniques have been studied broadly in many fields. With the blooming of Cyber-Physical Systems (CPSs), Internet...
-
Grundlagen und Stand der Technik
Zum besseren Verständnis dieser Arbeit werden im Folgenden die benötigten Grundlagen zu Petri-Netzen und digitalen Schaltungen erläutert. Weiterhin...
-
Extending IOPT Nets with a Module Construct
Input-output place-transition nets (IOPT nets) is a Petri net based formalism targeted for the development of embedded systems controllers. It is an...
-
Challenges in Digital Twin Development for Cyber-Physical Production Systems
The recent advancement of information and communication technology makes digitalisation of an entire manufacturing shop-floor possible where physical...
-
Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification
This paper proposes a new modeling formalism for the specification of cyber-physical systems, combining the functionality offered by Petri nets and...
-
Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers
IOPT-Tools is a cloud based integrated development environment to the design of embedded system controllers and other digital systems, employing the...
-
From SysML State Machines to Petri Nets Using ATL Transformations
The ATLAS Transformation Language (ATL) is a well-known hybrid model transformation language that allows both declarative and imperative constructs...
-
From Conception to Implementation of Reconfigurable and Distributed Manufacturing Control System
Currently, the design of the manufacturing control systems must assure reconfiguration flexibility for agile reaction to unexpected occurrences in...
-
Elementary Events for Modeling of Human-System Interactions with Petri Net Models
This paper presents a proposal for structuring events for system models expressed using IOPT nets (Input-Output Place-Transition Petri nets)....
-
Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling
This paper presents a proposal for structuring logical signals for discrete events behavioral modeling. Graphical formalisms will be used to...
-
Towards Cloud-Based Engineering Systems
Cloud-based Engineering Systems offer new possibilities to leverage the emerging “network effect”, by relying on the access to large pools of...
-
On Structuring Events for IOPT Net Models
This paper presents a proposal for structuring events for system models expressed using IOPT nets (Input-Output Place-Transition Petri nets)....
-
Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification
High-level Petri net classes are suited to specify concurrent processes with emphasis both in control and data processing, making them appropriate to...