-
西文图书1.Petri nets : fundamental models, verification and applications / TP274/BD4
馆藏复本:1
可借复本:1 edited by Michel Diaz.
ISTE ; 2009.
(0) 馆藏 -
西文图书2.Verification of systems and circuits using LOTOS, Petri Nets, and CCS / TN407/BY1
馆藏复本:1
可借复本:1 by Michael Yoeli and Rakefet Kol.
Wiley-Interscience, c2008.
(0) 馆藏