登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Verification of systems and circuits using LOTOS Petri Nets and CCS
出版社：Hoboken, N.J. : Wiley-Interscience, c2008.
ISBN：9780471704492
出版年：2008
作者：Yoeli,Michael,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Petri nets for systems engineering : a guide to modeling, verification, and applications
  • 作者：Girault,Claude.
  • ISBN：3540412174
  • 出版社：Berlin ; New York : Springer, c2003.
  • 出版年：2003
...

Petri nets and manufacturing systems
  • 作者：Hinrichs,Ruth.
  • ISBN：9781632404060
  • 出版社：Jersey City, NJ : Clanrye International, c2015.
  • 出版年：2015
...

Petri nets : fundamental models, verification, and applications
  • 作者：Réseaux de Petri.
  • ISBN：9781848210790
  • 出版社：London : ISTE ; Hoboken, NJ : Wiley, 2009.
  • 出版年：2009
...

Finite representations of CCS and TCSP programs by automata and Petri nets
  • 作者：Taubner,Dirk,
  • ISBN：0387515259
  • 出版社：Berlin ; New York : Springer-Verlag, c1989.
  • 出版年：1989
...

Petri net technology for communication-based systems : advances in Petri nets
  • 作者：Ehrig,Hartmut.
  • ISBN：3540205381
  • 出版社：Berlin ; New York : Springer, c2003.
  • 出版年：2003
...

Concurrency and nets: advances in Petri nets
  • 作者：Voss,K.
  • ISBN：3540180575
  • 出版社：Berlin : Springer-Verlag, 1987
  • 出版年：1987