DOI: 10.1109/hsi.2014.6860481
View full text

Abstract: 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 al…

expand abstract