Title

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

Journal title

Bulletin of the Polish Academy of Sciences Technical Sciences

Yearbook

2016

Volume

64

Issue

No 3

Authors

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

Divisions of PAS

Nauki Techniczne

Coverage

467-478

Date

2016

Identifier

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

Source

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

References

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.