TitleDual synthesis of Petri net based application specific logic controllers with increased safety
Journal titleBulletin of the Polish Academy of Sciences: Technical Sciences
Divisions of PASNauki Techniczne
ReferencesMurata (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.