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

Advances in verification of time petri nets and timed automata : a temporal logic approach
出版社：Berlin ; New York : Springer, c2006.
ISBN：3540328696
出版年：2006
作者：Penczek,Wojciech.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Timed Petri nets : theory and application
  • 作者：Wang,Jiacun,
  • ISBN：0792382706
  • 出版社：Boston : Kluwer Academic Publishers, c1998.
  • 出版年：1998
...

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

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

Unifying Petri nets : advances in Petri nets
  • 作者：Ehrig,Hartmut.
  • ISBN：3540430679
  • 出版社：Berlin ; London : Springer, c2001.
  • 出版年：2001
...

Concurrency and nets : Advances in Petri nets
  • 作者：Voss,K.
  • ISBN：0387180575
  • 出版社：Berlin ; New York : Springer-Verlag, c1987.
  • 出版年：1987
...

Advances in Petri nets, 1988
  • 作者：European Workshop on Applications and Theory of Petri Nets
  • ISBN：0387505806
  • 出版社：Berlin ; New York : Springer-Verlag, c1988.
  • 出版年：1988