الفهرس | Only 14 pages are availabe for public view |
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. |