dc.contributor.author | Mohamad Shaiful, Osman | |
dc.date.accessioned | 2009-08-24T09:09:30Z | |
dc.date.available | 2009-08-24T09:09:30Z | |
dc.date.issued | 2005-05-18 | |
dc.identifier.citation | p.59-64 | en_US |
dc.identifier.uri | http://dspace.unimap.edu.my/123456789/7064 | |
dc.description | Organized by Kolej Universiti Kejuruteraan Utara Malaysia (KUKUM), 18th - 19th May 2005 at Putra Palace Hotel, Kangar. | en_US |
dc.description.abstract | The Petri Net has gained increased usage and
acceptance as a basic model of systems as an asynchronous concurrent computation. This paper searches the basic concepts and uses of the Petri Nets. The structures of the Nets, their makings and execution, several examples of Petri Net models of controlling and monitoring and research into the
analysis of the Petri Nets are presented, as a the use of the reachability tree and decidability and complexity of some Petri
Nets problems. Petri Net languages, model of computation related to Petri Nets, and some extensions and subclasses of the Petri Net model are also presented. | en_US |
dc.language.iso | en | en_US |
dc.publisher | Kolej Universiti Kejuruteraan Utara Malaysia | en_US |
dc.relation.ispartofseries | Proceedings of the 1st National Conference on Electronic Design | en_US |
dc.subject | System analysis | en_US |
dc.subject | Programming languages (Electronic computers) | en_US |
dc.subject | Petri nets | en_US |
dc.subject | System design | en_US |
dc.subject | Monitoring system | en_US |
dc.title | Petri Net Algorithm for controlling and monitoring system | en_US |
dc.type | Working Paper | en_US |