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

Petri nets for systems engineering : a guide to modeling verification and applications
出版社：Berlin ; New York : Springer, c2003.
ISBN：3540412174
出版年：2003
作者：Girault,Claude.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
  • 作者：Yoeli,Michael,
  • ISBN：9780471704492
  • 出版社：Hoboken, N.J. : Wiley-Interscience, c2008.
  • 出版年：2008
...

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

Applications and theory of Petri nets
  • 作者：Pagnoni,Anastasia.
  • ISBN：3540123091
  • 出版社：Berlin : Springer-Verlag, 1983
  • 出版年：1983
...

Advances in verification of time petri nets and timed automata : a temporal logic approach
  • 作者：Penczek,Wojciech.
  • ISBN：3540328696
  • 出版社：Berlin ; New York : Springer, c2006.
  • 出版年：2006
...

Lectures on Petri nets II: applications : advances in Petri nets
  • 作者：Reisig,Wolfgang,
  • ISBN：3540653074
  • 出版社：Berlin ; New York : Springer, c1998.
  • 出版年：1998