Coloured Petri net model of application specific logic controller programs

Węgrzyn, Marek; Wolanski, P.; Adamski, Marian; Monteiro, João L.

doi:10.1109/isie.1997.651753

Cited by 12 publications

(7 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A Petri net can be enhanced by assigning colors to places and transitions [1], [6], [20]. In state machine (SM) colored Petri net colors help to validate intuitively and formally the consistency of all sequential processes covering the considered Petri net.…”

Section: A Colored Petri Netmentioning

confidence: 99%

“…A PPLICATION specific logic controllers or control units [1], [2] are one of the biggest groups of electronic devices. They can be designed as dedicated software for microcontroller or as dedicated hardware.…”

Section: Introductionmentioning

confidence: 99%

“…The usage of graphical representation of algorithm is much more conformable [3]- [5]. In this case Petri nets (PNs) [6], [7] are one of the most adequate methods for formal design of application specific logic controllers [1]. It gives easy way for representation of concurrent processes and additionally there could be applied mathematical algorithms for formal analysis and verification of the designed model [8]- [11].…”

Section: Introductionmentioning

confidence: 99%

“…Each memory block controls only microoperations that belong to the subnet with the same color. A new procedure of extracting subnets supplements the known methods of Petri net SM coloring [1], [13], [16], [22]- [24]. In such a way it leads to balanced usage of all kinds of logic resources of the FPGA device.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Synthesis of Macro Petri Nets into FPGA with Distributed Memories

Bukowiec¹,

Adamski²

2012

International Journal of Electronics and Telecommunications

View full text Add to dashboard Cite

Abstract-In this paper a new method of Petri net array-based synthesis is proposed. The method is based on decomposition of colored interpreted macro Petri net into state machine subnets. Each state machine subnet is determined by one color. During the decomposition process macroplaces are expanded or replaced by doublers of macroplace. Such decomposition leads to parallel implementation of a digital system. The structured encoding of places is done by using minimal numbers of bits. Colored microoperations, which are assigned to places, are written into distributed and flexible memories. 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: A Colored Petri Netmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Synthesis of Macro Petri Nets into FPGA with Distributed Memories

Bukowiec¹,

Adamski²

2012

International Journal of Electronics and Telecommunications

View full text Add to dashboard Cite

show abstract

“…Petri nets (PNs) [1], [2] are one of the most popular methods used in formal synthesis of concurrent control units [3]. Nowadays field programmable gate arrays (FPGAs) are very often applied for implementation of a digital design of logic controllers.…”

Section: Introductionmentioning

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

Symbolic Coloring of Petri Nets

Tkacz

2015

Design of Reconfigurable Logic Controllers

View full text Add to dashboard Cite

Coloured Petri net model of application specific logic controller programs

Cited by 12 publications

References 10 publications

Synthesis of Macro Petri Nets into FPGA with Distributed Memories

Synthesis of Macro Petri Nets into FPGA with Distributed Memories

Synthesis of Petri nets into FPGA with operation flexible memories

Symbolic Coloring of Petri Nets

Contact Info

Product

Resources

About