UNSPECIFIED (2003) Controller synthesis for object Petri nets. In: 5th International Conference on Formal Engineering Methods, NOV 05-07, 2003, SINGAPORE, SINGAPORE.

Full text not available from this repository.

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
Date:	2003
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
URI:	http://wrap.warwick.ac.uk/id/eprint/8872

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item