Controller synthesis for object Petri nets
UNSPECIFIED (2003) Controller synthesis for object Petri nets. In: 5th International Conference on Formal Engineering Methods, SINGAPORE, SINGAPORE, NOV 05-07, 2003. Published in: FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2885 pp. 432-451.Full text not available from this repository.
A large class of real-world systems can be modelled as Petri nets, and complex systems are more conveniently modelled as object Petri nets. Ensuring that Petri net models avoid forbidden states has attracted much research effort. The work presented addresses the forbidden state problem for object Petri nets, through a method for controller synthesis. A simple illustrative example is given as well as an illustration in a flexible manufacturing system. The concept of place invariants plays an important role in Petri net theory. For the first time, place invariants are defined for object Petri nets.
|Item Type:||Conference Item (UNSPECIFIED)|
|Subjects:||Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software|
|Series Name:||LECTURE NOTES IN COMPUTER SCIENCE|
|Journal or Publication Title:||FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS|
|Editor:||Dong, JS and Woodcock, J|
|Number of Pages:||20|
|Page Range:||pp. 432-451|
|Title of Event:||5th International Conference on Formal Engineering Methods|
|Location of Event:||SINGAPORE, SINGAPORE|
|Date(s) of Event:||NOV 05-07, 2003|
Actions (login required)