Petri Net Dynamic Partial Reconfiguration in FPGA

Bukowiec, Arkadiusz; Doligalski, Michał

doi:10.1007/978-3-642-53856-8_55

Cited by 13 publications

(3 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Compared to other networks, Petri net has a unique advantage in the field of description and analysis. At the same time, Petri net is a strictly defined mathematics object [1][2][3]. With the aid of the mathematical development of Petri nets analysis methods and techniques, it can be used for static structural analysis as well as for dynamic analysis of the behavior.…”

Section: Introductionmentioning

confidence: 99%

Computer Network Simulation Modeling Based on Object Oriented Petri Net

Chen¹,

Sun²

2016

Int. J. Onl. Eng.

View full text Add to dashboard Cite

Abstract-This paper first briefly introduces a Petri net, and then studies it in detail according to the selected objectoriented Petri net modeling method. This paper improves the object-oriented Petri net modeling method and studies the modeling and operation steps in detail. Finally, this paper builds a computer network TCP/IP protocol model based on an object-oriented Petri net. The model proves to be a good simulation of the computer network and the improved modeling method is also a valid method for further object-oriented Petri net modeling.

show abstract

Section: Introductionmentioning

confidence: 99%

Computer Network Simulation Modeling Based on Object Oriented Petri Net

Chen¹,

Sun²

2016

Int. J. Onl. Eng.

View full text Add to dashboard Cite

show abstract

“…Such an operation splits the initial system into sequential automata, which can be easily implemented in the destination device, i.e. Field Programmable Gate Array (FPGA) [7].…”

Section: Introductionmentioning

confidence: 99%

Decomposition, validation and documentation of control process specification in form of a Petri net

Grobelna

Wiśniewska

Wiśniewski

et al. 2014

2014 7th International Conference on Human System Interactions (HSI)

View full text Add to dashboard Cite

The article focuses on some aspects regarding logic controller design. Control process is formally specified using interpreted Petri nets. It is then formally verified against behavioral properties using model checking technique and temporal logic. Formal specification can also be documented as UML activity diagram. One can then benefit from advantages of both specification techniques -Petri nets with a wide range of mathematical support and user-friendly UML activity diagrams. An interpreted Petri net can also be decomposed into state machine components (SMCs), each of them to be implemented in a separate module of FPGA device.

show abstract

“…Improved techniques for design should follow the growing technological capabilities, allowing for it full use. Dynamic Partial Reconfiguration is a good example of powerful functionality [4], [5]. It provides the possibility of multi context design, where contexts are switched when other blocks of the device are turned on.…”

Section: Introductionmentioning

confidence: 99%

Partial Reconfiguration in the Field of Logic Controllers Design

Doligalski

Bukowiec

2013

International Journal of Electronics and Telecommunications

Self Cite

View full text Add to dashboard Cite

Abstract-The paper presents method for logic controllers multi context implementation by means of partial reconfiguration. The UML state machine diagram specifies the behaviour of the logic controller. Multi context functionality is specified at the specification level as variants of the composite state. Each composite state, both orthogonal or compositional, describes specific functional requirement of the control process. The functional decomposition provided by composite states is required by the dynamic partial reconfiguration flow. The state machines specified by UML state machine diagrams are transformed into hierarchical configurable Petri nets (HCfgPN). HCfgPN are a Petri nets variant with the direct support of the exceptions handling mechanism. The paper presents placesoriented method for HCfgPN description in Verilog language. In the paper proposed methodology was illustrated by means of simple industrial control process.

show abstract

Petri Net Dynamic Partial Reconfiguration in FPGA

Cited by 13 publications

References 13 publications

Computer Network Simulation Modeling Based on Object Oriented Petri Net

Computer Network Simulation Modeling Based on Object Oriented Petri Net

Decomposition, validation and documentation of control process specification in form of a Petri net

Partial Reconfiguration in the Field of Logic Controllers Design

Contact Info

Product

Resources

About