Hardware implementation of real-time Petri-net-based controllers

Chang, Naehyuck; Кwon, Wook Hyun; Park, Jaehyun

doi:10.1016/s0967-0661(98)00076-8

Cited by 14 publications

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Hardware is better than software for implementing the asynchronous behavior of the discrete events control systems (Basile and Chiacchio 2007). Examples of hardware implementation can be seen in Silva (1985), Bulach et al (2002), Uzam et al (2005), Chang et al (1998) and Yakovlev and Koelmans (1998).…”

Section: Introductionmentioning

confidence: 99%

Performance Evaluation of Petri nets Centralized Implementation. The Execution Time Controller

Piedrafita

Villarroel

2010

Discrete Event Dyn Syst

View full text Add to dashboard Cite

The reaction time of a controller is a fundamental matter in discrete event control systems. Petri nets are extensively used in this field. The controller reads the inputs, executes the control Petri net and writes the output in a cyclic manner. The reaction time of this controller depends on the Petri net structure, on the events sequence and on the algorithm that executes the net. In this paper we present a performance evaluation of interpreted and centralized implementation techniques for ordinary Petri nets. Four techniques have been analyzed: brute force, enabled transitions, static representing places and dynamic representing places. The analysis has been carried out over a Petri net library composed of well know models which can be scaled using a parameter. The analysis of the results shows that the performance of the algorithms depends on the Petri net behavior (concurrency vs. effective conflicts).With the objective of minimizing the reaction time, we decided to design a Supervisor controller, which we have called execution time controller (ETC). The aim of the ETC is to determine in real time which algorithm executes the Petri net fastest and to change the execution algorithm when necessary. One possible application of the technique is the minimization of execution time of the programmable logic controllers programs developed in sequential function chart (SFC).

show abstract

Section: Introductionmentioning

confidence: 99%

Performance Evaluation of Petri nets Centralized Implementation. The Execution Time Controller

Piedrafita

Villarroel

2010

Discrete Event Dyn Syst

View full text Add to dashboard Cite

show abstract

Petri Net Dynamic Partial Reconfiguration in FPGA

Bukowiec

Doligalski

2013

Computer Aided Systems Theory - EUROCAST 2013

View full text Add to dashboard Cite

Dual Simulation of Application Specific Logic Controllers Based on Petri Nets

Bukowiec

Tkacz

2014

Lecture Notes in Electrical Engineering

View full text Add to dashboard Cite

Abstract. The paper describes a new method of verification of the application specific logic controllers designed with use of Petri net. The method is oriented on behavioral simulation of post synthesis models. Two different method of logic synthesis are preformed for the same control algorithm described as Petri net. Then, obtained HDL models are used for dual simulation with result comparison. It allows to detect ambiguous construct in designed control algorithm.Keywords: logic controller, Petri net, simulation. IntroductionThe paper presents a new method of dual simulation of the application specific logic controllers (ASLCs). ASLCs [1][2][3][4][5] are one of the biggest group of electronic circuits.The most classical way of designing such controllers is application of hardware description languages (HDLs) but it is annoying for designer and possibly it gives high risk of human mistake. The usage of graphical representation of control algorithm is much more conformable [6][7][8]. Now, Petri nets (PNs) [9,10] are one of the most adequate methods for formal design of such controllers [11]. It gives a simple way for representation of concurrent processes and application of interpretation gives a possibility to exchange information with environment. Additionally, there could be applied mathematical algorithms for formal analysis and verification of the designed model [12][13][14][15]. Although these algorithms are able to detect defects, like liveness or reachability, in Petri net structure but they are not able to detect nondeterministic behavior of the algorithm. Typically the nondeterministic behavior of the algorithm is caused by a human mistake and it does not affect Petri net structure. To detect such mistake there have to be performed the simulation of the control algorithm and the comparison of its results with expected ones. It is very arduous process and it does not give expected results because it is also loaded with human mistake. The solution for this problem is dual simulation [16,17] with automated results comparison. Although currently only behavioral HDL description is used for such approaches and it is oriented on increase of simulation reliability. It allows also to detect some nondeterministic behavior but while the simulation is on behavioral level not connected to a hardware realization it does not ensure that all of them will be detected and controller

show abstract

Hardware implementation of real-time Petri-net-based controllers

Cited by 14 publications

References 12 publications

Performance Evaluation of Petri nets Centralized Implementation. The Execution Time Controller

Performance Evaluation of Petri nets Centralized Implementation. The Execution Time Controller

Petri Net Dynamic Partial Reconfiguration in FPGA

Dual Simulation of Application Specific Logic Controllers Based on Petri Nets

Contact Info

Product

Resources

About