STSLib

MaRDI QIDQ41471swMATHFDO

Official website https://github.com/chuanma/STSLib

Source code repository https://github.com/chuanma/STSLib

Cited in

(5)

• Modular supervisory control and coordination of state tree structures
• Supervisory control of state-tree structures with partial observation
• FORCE
• XPTCT
• Supremica

This page was built for software: STSLib