In: IEEE Transactions on Software Engineering, Vol. 16, No. 1, pages 39-50. January 1990.
Abstract: An approach for the specification, modeling and analysis of discrete state systems and controllers is presented. A rule-based state variable specification formalism is translated into Petri net models composed of interconnected state machines. Reduced reachability graphs are introduced to reduce the computational effort required to isolate and analyze subcomponent behavior within the system. Discrete manufacturing systems are the target application.
Keywords: net tool; discrete controller; modelling (of) discrete >state system; interconnected state machines; reduced reachability graph; discrete manufacturing system.