Hardware Implementation of Fuzzy Petri Net as a Controller

Gniewek, L.; Kluska, Jacek

doi:10.1109/tsmcb.2003.822956

Cited by 38 publications

(11 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…1). This Petri net describes control process of industrial mixer of aggregate content and water [16]. The Petri net PN 1 is colored using three colors (Table I), and such colored Petri net can be an entry point to the synthesis method.…”

Section: Example Of Methods Applicationmentioning

confidence: 99%

Synthesis of Petri nets into FPGA with operation flexible memories

Bukowiec

Adamski

2012

2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits &Amp; Systems (DDECS)

View full text Add to dashboard Cite

In this paper a new method of Petri net array-based synthesis is proposed. The method is based on the structured encoding of places by means of using minimal numbers of bits together with parallel decomposition of a digital system. State machine subnets, which are determined by colors are attached to places and transitions. Colored microoperations which are assigned to places are written into distributed and flexible memory. It leads to realization of a logic circuit in a two-level concurrent structure, where the combinational circuit of the first level is responsible for firing transitions, and the second level memories are used for generation of microoperations. Such an approach allows balanced usage of different kinds of resources available in modern FPGAs.

show abstract

Section: Example Of Methods Applicationmentioning

confidence: 99%

Synthesis of Petri nets into FPGA with operation flexible memories

Bukowiec

Adamski

2012

2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits &Amp; Systems (DDECS)

View full text Add to dashboard Cite

show abstract

“…Nevertheless, the authors believe that their solution can be characterized by some unique advantages. Based on [51], in literature, fuzzy nets are mainly used to create expert systems, but few deal with the direct application to control [61][62][63]. These approaches do not have software tool support, do not permit modelling of resources using the net structure, nor do they generate executable code automatically.…”

Section: Comparison To Related Workmentioning

confidence: 99%

A Program Model of Fuzzy Interpreted Petri Net to Control Discrete Event Systems

Markiewicz

Gniewek

2017

Applied Sciences

View full text Add to dashboard Cite

Using Petri nets (PNs) to control discrete event systems (DES) has many benefits, because of their graphical representations, the possibility of parallel process control, and their formal descriptions. Amongst the different PNs that are applied for this purpose, most have some limitations for visualization. For many of these PNs, another restriction is the length of time between the creation of the control algorithm in the form of a graph and its practical implementation. These two issues can be resolved with one solution called fuzzy interpreted PN (FIPN). This article proposes the use of a program model based on FIPN to control DES and the method for generation of this model using the graphical representation of the net. FIPN offers a better visualization in comparison to discrete PNs and it allows for the quick creation of program code through the application of a simulator called FIPN-SML. This computer tool implements a method that transforms the graphical form of FIPN into Structured Text (ST) language supported by the IEC 61131-3.

show abstract

“…There should be used two different synthesis algorithms oriented on the same hardware architecture. There are used modular logic synthesis [18] and architectural synthesis [19] in presented approach but other methods are also acceptable [2,3,[20][21][22]. Both models are described as set of logic equations received from synthesis process.…”

Section: Dual Simulationmentioning

confidence: 99%

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 Fuzzy Petri Net as a Controller

Cited by 38 publications

References 28 publications

Synthesis of Petri nets into FPGA with operation flexible memories

Synthesis of Petri nets into FPGA with operation flexible memories

A Program Model of Fuzzy Interpreted Petri Net to Control Discrete Event Systems

Dual Simulation of Application Specific Logic Controllers Based on Petri Nets

Contact Info

Product

Resources

About