登入
選單
返回
Google圖書搜尋
Compositional and Parallel Analysis of Petri Nets
Alain Finkel
Colette Johnen
出版
Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique
, 1991
URL
http://books.google.com.hk/books?id=189yGwAACAAJ&hl=&source=gbs_api
註釋
Abstract: "We will show how to decompose a Petri net with parallel solutions to the computation of the minimal coverability graph and invariants. We will also show how to recompose a Petri net (if necessary) to obtain the complete minimal coverability and all the invariants ofthe entire net."
