Exceptions Handling in Hierarchical Petri Net Based Specification for Logic Controllers | IEEE Conference Publication | IEEE Xplore