Timed Petri Nets

EISBN:9781461555377
PISBN:9781461375319
出版社:Springer US
出版类型:Contributed volume
出版时间:1998
作者:Jiacun Wang
主题词:Systems Theory,Control,Probability Theory and Stochastic Processes,Calculus of Variations and Optimal Control,Optimization,Operation Research/Decision Theory
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Timed Petri Nets

  • 作者:Jiacun Wang
  • EISBN:9781461555377
  • 出版社:Springer US
  • 出版时间:1998

Advances in Verification of Time Petri Nets and Timed Automata

  • 作者:Wojciech Penczek,Agata Pólrola
  • EISBN:9783540328704
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Petri Nets

  • 作者:Wolfgang Reisig
  • EISBN:9783642699689
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985

Petri Nets

  • 作者:Wolfgang Reisig
  • EISBN:9783642699689
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985

Unifying Petri Nets

  • 作者:Hartmut Ehrig,Gabriel Juhas,Julia Padberg,Grzegorz Rozenberg
  • EISBN:9783540455417
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Supervision of Petri Nets

  • 作者:Geert Stremersch
  • EISBN:9781461515371
  • 出版社:Springer US
  • 出版时间:2001