Merging and Splitting Petri Net Models within Distributed Embedded Controller Design

2013 ◽  
pp. 160-183 ◽  
Author(s):  
Luis Gomes ◽  
Anikó Costa ◽  
João Paulo Barros ◽  
Filipe Moutinho ◽  
Fernando Pereira
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Code Generation ◽  
Controller Design ◽  
Output Place ◽  
Time Domains ◽  
Splitting Operation ◽  
Embedded Controller ◽  
Automatic Code ◽  
Property Verification

Design of distributed embedded controllers can benefit from the adoption of a model-based development attitude, where Petri nets modeling can provide support for a comprehensive specification and documentation of the system together with verification capabilities and automatic deployment into implementation platforms. This chapter presents a Petri nets-based development flow based on composition and decomposition of Petri net models, using Input-Output Place-Transition Petri nets (IOPT nets) as the underlying formalism, allowing reusability of models in new situations through a net addition operation, as well as partitioning of the model into components using a net splitting operation. Distributed embedded controllers are addressed adding the concept of time domains to IOPT nets. Finally, a tool chain framework is presented supporting the whole development process, from specification to implementation, including property verification, simulation, and automatic code generation for deployment into implementation platforms (considering hardware-based implementation and VHDL coding or software-oriented implementation and C coding).

Rapid Embedded Programming in the Mathworks Environment

2002 ◽  
Vol 2 (3) ◽  
pp. 237-241 ◽  
Author(s):  
Daniel Burns and ◽  
Thomas G. Sugar
Keyword(s):  
Code Generation ◽  
Engineering Students ◽  
Force Feedback ◽  
Controller Design ◽  
Computing System ◽  
Embedded Computing ◽  
Loop Control ◽  
Loop Control System ◽  
Embedded Computing System ◽  
Automatic Code

New, commercially available, automatic, code-generation tools are used in teaching and lab exercises to progress from controller design, to simulation, and finally to implementation on mechanical hardware. An embedded computing system consists of a dedicated, digital, electronic-processor that controls a system that interacts with the environment. Case studies highlighting a force-feedback joystick and motor servo control with encoder feedback are presented to illustrate laboratory exercises that teach mechanical engineering students hardware-in-the-loop control system design. Using these software tools, design iterations and multiple controllers are quickly simulated and downloaded to the actual hardware.

Automatic Code Generation for Microcontrollers from Place-Transition Petri Net Models

2011 ◽  
Vol 44 (1) ◽  
pp. 7873-7878
Author(s):  
Henrique Dezani ◽  
Norian Marranghello ◽  
Aledir S. Pereira ◽  
Alexandre C. R. da Silva ◽  
Marek Węgrzyn
Keyword(s):  
Petri Net ◽  
Code Generation ◽  
Automatic Code Generation ◽  
Automatic Code

scholarly journals Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings

Electronics ◽  
2018 ◽  
Vol 7 (12) ◽  
pp. 448
Author(s):  
José-Inácio Rocha ◽  
Octávio Páscoa Dias ◽  
Luís Gomes
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Initial Conditions ◽  
Digital Signal ◽  
Industrial Applications ◽  
New Approach ◽  
Synchronous Dataflow ◽  
Model Driven ◽  
Property Verification ◽  
Static Schedule

Whereas most of the work that analyses Synchronous Dataflow (SDF) stays in the dataflow framework, this work pushes its analysis into another framework level, thereby addressing issues that are not well addressed or are even unexplored in SDF. In this manner, the paper proposes a model-driven engineering (MDE) method, combining Synchronous Dataflow (SDF) and Petri nets, to highlight and reinforce their interoperability in digital signal processing applications, cyber-physical systems, or industrial applications. Improvements regarding the settlement and exploitation of the initial conditions associated with SDF are demonstrated; this issue is crucial for every cyber-physical system, since a system’s initial conditions are crucial to ensuring the system’s liveness. The improvements outlined in this work exploit an innovating mapping in the Place/Transition (P/T) Petri net domain that is intended to reduce and predict the total amount of initial data in SDF channels. The relevance of the firing semantics engaged with the equivalent Petri net model is discussed. This paper proposes a new approach to estimate whether an SDF has a static schedule by performing simulation and property verification of the equivalent-based P/T Petri net system achieved, framed by a Petri net invariant analysis and based on the stubborn set method of Petri nets. In this way, this new approach will allow mitigating the state explosion problem. Finally, a strategy is applied to two case studies to discover all the elementary circuits (static schedules) associated with the generated model’s state-space.

Matlab-Based Embedded Controller Design for Robot

2010 ◽  
Vol 139-141 ◽  
pp. 2126-2131
Author(s):  
Yi Ning ◽  
Jun Feng Zhao
Keyword(s):  
Control System ◽  
Code Generation ◽  
Controller Design ◽  
Algorithm Design ◽  
Space Robot ◽  
System Stability ◽  
Design System ◽  
Development Environment ◽  
Embedded Control ◽  
Automatic Code

For highly complex embedded control systems, the use of traditional methods of design is very difficult to achieve satisfactory results. In a cooperative project of national 863 plans, the Matlab-based scheme in TDE (Total Development Environment) way was made to design the control system of free-flying space robot, an in-obit service satellite. It can overcome the shortcomings of traditional design to make greater system stability, improve the life of the equipment, speed up development and reduce development costs. In this paper, a development platform was built on Matlab for embedded control system of the manipulator onboard the free-flying space robot. The controller design and simulation was implemented on it. The entire development process is divided into algorithm design, system simulation, and automatic code generation. A test harness was created to test and verify the unit-under-test. The results of experiment show that Control accuracy of the simulation was satisfied with the practical requirements.

Constrained Petri Nets. Part II: Generalizations and extensions

1983 ◽  
Vol 6 (3-4) ◽  
pp. 333-374
Author(s):  
H.J.M. Goeman ◽  
L.P.J. Groenewegen ◽  
H.C.M. Kleijn ◽  
G. Rozenberg
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Theoretical Framework ◽  
General Constraints ◽  
Context Free ◽  
Boolean Expressions

This paper continues the investigation froll1 [Goeman et al.] concerning the use of sets of places of a Petri net as additional (to input places) constraints for granting concession. Now interpretations of more general constraints are considered and expressed as Boolean expressions. This gives rise to various classes of constrained Petri nets. These are compared in the language theoretical framework introduced in [Goeman et al.]. An upperbound for the language defining power is found in the class of context-free programmed languages.

Sign in / Sign up

Export Citation Format

Share Document