Model Checking in Parallel Logic Controllers Design and Verification

The parallel logic controllers (PLC) developing process can be both, simplified and improved by means of formal methods.

[1]  Luis Gomes,et al.  Automatic synthesis of VHDL hardware components from IOPT Petri net models , 2013, IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society.

[2]  Marian Adamski,et al.  Model Checking of UML Activity Diagrams in Logic Controllers Design , 2014, DepCoS-RELCOMEX.

[3]  Micha l Doligalski.  Behavioral specification of the logic controllers by means of the hierarchical configurable Petri nets , 2012, PDeS.

[4]  Łukasz Stefanowicz,et al.  Theoretical Aspects of Petri Nets Decomposition Based on Invariants and Hypergraphs , 2014 .

[5]  Mariusz Rawski,et al.  5 Logic Synthesis Method of Digital Circuits Designed for Implementation with Embedded Memory Blocks of FPGAs , 2011 .

[6]  Natarajan Shankar,et al.  Proof search in first-order linear logic and other cut-free sequent calculi , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

[7]  Jean H. Gallier,et al.  Logic for Computer Science: Foundations of Automatic Theorem Proving , 1985 .

[8]  Hélène Leroux,et al.  Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAs , 2015, IEEE Transactions on Industrial Informatics.

[9]  Jacek Tkacz,et al.  Formal reasoning in logic design of reconfigurable controllers , 2012, PDeS.

[10]  Marian Adamski,et al.  UML state machine implementation in FPGA devices by means of dual model and Verilog , 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).

[11]  R. Valette,et al.  Linear logic as a tool for reasoning on a Petri net model , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[12]  Jacek Tkacz,et al.  Logic design of structured configurable controllers , 2012, 2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA).

[13]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[14]  Andrei Karatkevich,et al.  Dynamic analysis of Petri net-based discrete systems , 2007 .

[15]  J. M. Saul,et al.  Parallel controller synthesis using Petri nets , 1995 .