Tiberiu S. Letia, Attila Ors Kilyen. Unified enhanced time Petri net models for development of the reactive applications. In 3rd International Conference on Event-Based Control, Communication and Signal Processing, EBCCSP 2017, Funchal, Portugal, May 24-26, 2017. pages 1-8, IEEE, 2017. [doi]
Abstract is missing.