scientific article; zbMATH DE number 7618582

zbMATH Open1498.68193MaRDI QIDQ5047643FDOQ5047643

Weimin Wu, Xiao Wang, Hongye Su, Lida Dong, Jian Chu

Publication date: 17 November 2022

Title of this publication is not available (Why is that?)

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)

Cited In (1)

• Synthesis of Petri net supervisors enforcing general constraints

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5047643)