Thumbnail
Access Restriction
Subscribed

Author Holloway, L.E. ♦ Xiaoyi Guan
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©1993
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations ♦ Other branches of engineering
Subject Keyword Petri nets ♦ Control systems ♦ Control system synthesis ♦ Automatic control ♦ Automata ♦ Discrete event systems ♦ Robots ♦ Manufacturing systems ♦ Algebra ♦ Control theory
Abstract This paper presents a generalization of forbidden state control synthesis methods for a broad class of controlled Petri nets (CtlPN). An algebra is defined for characterizing the interaction of paths in the Petri net. Given a specification of a forbidden marking set, the net structure is analyzed to determine an algebraic expression to represent the specification. For any net marking (state), evaluation of the expression will indicate whether forbidden markings are reachable and whether control is necessary. The expression is then used for efficiently determining the maximally permissive controls for the marking.<<ETX>>
Description Author affiliation: Center for Robotics & Manuf. Syst., Kentucky Univ., Lexington, KY, USA (Holloway, L.E.; Xiaoyi Guan)
ISBN 0780312988
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1993-12-15
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 892.81 kB
Page Count 7
Starting Page 204
Ending Page 210


Source: IEEE Xplore Digital Library