この商品を友人に教える:
Petri Nets: Fundamental Models, Verification and Applications M Diaz
Petri Nets: Fundamental Models, Verification and Applications
M Diaz
A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems.
656 pages, Illustrations
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2009年7月10日 |
| ISBN13 | 9781848210790 |
| 出版社 | ISTE Ltd and John Wiley & Sons Inc |
| ページ数 | 656 |
| 寸法 | 157 × 240 × 38 mm · 1,02 kg |
| 編集者 | Diaz, Michel (LAAS-CNRS, Toulouse, France) |
