الفهرس Only 14 pages are availabe for public view
 |  | from | 175 |  |  |
| | | from | 175 | | |
Abstract
This work offers a suitable overview study to define &apply petri net technique as an abstract model.this may aid any designer to understand&implement the recommended system using this powerfull tool. in addition, the designed model, represented graphically, can be fully studied &analysed to discover&overcome any possible erroneous design. the basic analysis tools included in the implemented package are:
1- the reachability tree,
2-invariants technique; and
3-the binary timed petri net (BTPN)
However this is a construction to many possible other studies in this domain.
the resulting package is suitable for small computer system, since it is designed&implemented by H.L.L.(one version of pascal)therefore with little modifications it can be reconfigurated for any other system.