Systems Dependability Assessment: Benefits Of Petri Net Models

出版社:Wiley-ISTE, 2016-03.
ISBN:9781848219915
出版年:2016
作者:Jean-Fran?ois Aubry.
资源类型:图书
细分类型:馆内阅览
相关推荐

Model-driven dependability assessment of software systems

  • 作者:Bernardi,Simona.
  • ISBN:9783642395116
  • 出版社:Heidelberg : Springer, c2013.
  • 出版年:2013

Petri net technology for communication-based systems : advances in Petri nets

  • 作者:Ehrig,Hartmut.
  • ISBN:3540205381
  • 出版社:Berlin ; New York : Springer, c2003.
  • 出版年:2003

Paradigms of concurrency : observations, behaviours, and systems -- a Petri Net view

  • 作者:Janicki,Ryszard,
  • ISBN:9783662648193
  • 出版社:Berlin, Germany : Springer, 2022.
  • 出版年:2022

Dynamic analysis of Petri net-based discrete systems

  • 作者:Karatkevich,Andrei.
  • ISBN:9783540714644
  • 出版社:Berlin ; New York : Springer, 2007.
  • 出版年:2007

Petri net synthesis for discrete event control of manufacturing systems

  • 作者:Zhou,MengChu
  • ISBN:0792392892
  • 出版社:Boston : Kluwer Academic, c1993.
  • 出版年:1993

Control of discrete-event systems : automata and Petri net perspectives

  • 作者:Seatzu,Carla.
  • ISBN:9781447142751
  • 出版社:London ; New York : Springer Verlag, c2013.
  • 出版年:2013