The Library
Controller synthesis for object Petri nets
Tools
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. ISBN 3-540-20461-X. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
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 | ||||
Publisher: | SPRINGER-VERLAG BERLIN | ||||
ISBN: | 3-540-20461-X | ||||
ISSN: | 0302-9743 | ||||
Editor: | Dong, JS and Woodcock, J | ||||
Official Date: | 2003 | ||||
Dates: |
|
||||
Volume: | 2885 | ||||
Number of Pages: | 20 | ||||
Page Range: | pp. 432-451 | ||||
Publication Status: | Published | ||||
Title of Event: | 5th International Conference on Formal Engineering Methods | ||||
Location of Event: | SINGAPORE, SINGAPORE | ||||
Date(s) of Event: | NOV 05-07, 2003 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |