scientific article; zbMATH DE number 7618582

zbMath1498.68193MaRDI QIDQ5047643

Weimin Wu, Xiao Wang, Lida Dong, Jian Chu, Hong-Ye Su

Publication date: 17 November 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Synthesis of Petri net supervisors enforcing general constraints