Parametric multisingular hybrid Petri nets: Formal definitions and analysis techniques

Hassan Motallebi, Mohammad Abdollahi Azgomi. Parametric multisingular hybrid Petri nets: Formal definitions and analysis techniques. Inf. Comput., 241:321-348, 2015. [doi]

Abstract

Abstract is missing.