Tytuł artykułu

Dual synthesis of Petri net based application specific logic controllers with increased safety

Tytuł czasopisma

Bulletin of the Polish Academy of Sciences Technical Sciences

Rocznik

2016

Wolumin

64

Numer

No 3

Autorzy

Tkacz, J. ; Bukowiec, A. ; Adamski, M.

Wydział PAN

Nauki Techniczne

Zakres

467-478

Data

2016

Identyfikator

DOI: 10.1515/bpasts-2016-0052 ; ISSN 2300-1917

Źródło

Bulletin of the Polish Academy of Sciences: Technical Sciences; 2016; 64; No 3; 467-478

Referencje

Murata (1989), Petri nets : Properties analysis and applications Proceedings of the, IEEE, 77. ; Rawski (2011), Logic synthesis method of digital circuits designed for implementation with embedded memory blocks of FPGAs Lecture Notes in Electrical, Engineering, 79. ; Wiśniewski (2011), Design of microprogrammed controllers to be implemented in FPGAs of and Computer, International Journal Applied Mathematics Science, 21, 401. ; Khamis (2013), Control system design based on modern embedded systems Notes in Computer - Verlag, Lecture Science, 8112. ; Chang (1998), Hardware implementation of real - time Petri - net - based controllers, Control Engineering Practice, 6, 889, doi.org/10.1016/S0967-0661(98)00076-8 ; Savi (1992), Liveness and boundedness analysis for petri nets with event graph modules Notes in Computer, Lecture Science, 616. ; Jensen (2007), Coloured Petri nets and CPN tools for modelling and validation of concurrent systems on Software Tools for Technology Transfer, International Journal, 9, 213. ; Sałamaj (2013), Conception of a control unit for critical systems of Electronics and Telecommunications, International Journal, 59, 363. ; Milik (2014), On ladder diagrams compilation and synthesis to FPGA implemented reconfigurable logic controller Advances in Electrical and Electronic, Engineering, 12, 443. ; Karatkevich (2007), Dynamic analysis of Petri net - based discrete systems Notes in Control and Information, Lecture Sciences, 356. ; Girault (2003), Petri Nets for System A Guide to Modeling Verification and ApplicationsSpringer - Verlag, Engineering. ; Węgrzyn (2003), Implementation of safety critical logic controller by means of FPGA in Control, Annual Reviews, 27, 55.