费迪·莱恩(Ferdie F.H.Reijnen)。;Martijn A.古登。;范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。;雅各布斯·E·罗达。 主管综合建模——锁桥组合案例研究。 (英语) Zbl 1448.93088号 离散事件动态。系统。 30,第3期,499-532(2020).MSC公司:93亿B50 93立方65 65年第68季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.F.H.Reijnen}等人,离散事件动态。系统。30,编号3,499-532(2020;兹bl 1448.93088) 全文: 内政部
苏荣;van Schuppen,Jan H。;雅各布斯·E·罗达。 非确定性离散事件系统的最大允许协调分布式监控。 (英语) Zbl 1246.93004号 Automatica公司 48,第7期,1237-1247(2012).MSC公司:93甲13 93立方65 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{R.Su}等人,Automatica 48,第7期,1237--1247(2012;Zbl 1246.93004) 全文: 内政部
苏荣;van Schuppen,Jan H。;雅各布斯·E·罗达。;艾伯特·霍夫坎普。 通过使用基于弱观测等价的顺序自动机抽象进行非冲突检查。 (英语) Zbl 1192.93078号 Automatica公司 46,第6期,968-978(2010).MSC公司:93立方65 93甲13 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{R.Su}等人,Automatica 46,No.6,968--978(2010;Zbl 1192.93078) 全文: 内政部