Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties

Manuel Navarro-Gutierrez, Jaime A. Fraustro-Valdez, Antonio Ramírez-Treviño, Manuel Silva 0001. Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties. Discrete Event Dynamic Systems, 30(2):175-209, 2020. [doi]

Abstract

Abstract is missing.