| タイトル | Using Colored Stochastic Petri Net (CS-PN) software for protocol specification, validation, and evaluation |
| 本文（外部サイト） | http://hdl.handle.net/2060/19880013204 |
| 著者（英） | Luguern, Jean-Pierre; Zenie, Alexandre |
| 著者所属（英） | Ecole Nationale Superieure des Telecommunications |
| 発行日 | 1987-01-01 |
| 言語 | eng |
| 内容記述 | The specification, verification, validation, and evaluation, which make up the different steps of the CS-PN software are outlined. The colored stochastic Petri net software is applied to a Wound/Wait protocol decomposable into two principal modules: request or couple (transaction, granule) treatment module and wound treatment module. Each module is specified, verified, validated, and then evaluated separately, to deduce a verification, validation and evaluation of the complete protocol. The colored stochastic Petri nets tool is shown to be a natural extension of the stochastic tool, adapted to distributed systems and protocols, because the color conveniently takes into account the numerous sites, transactions, granules and messages. |
| NASA分類 | COMPUTER PROGRAMMING AND SOFTWARE |
| レポートNO | 88N22588
ENST-87C004 |
| 権利 | No Copyright |
|
