In: Control Theory Adv Technol, Vol. 5, No. 3, pages 265-275. September 1989.
Abstract: In this paper, a Petri net with external input places is called a controlled Petri net, and concurrently enabled transitions are described by a bag over the set of transitions. The paper discusses two kinds of control problems: a firing sequence control problem and a marking control problem. The first problem is whether or not there exists a controller by which only the specified target firing sequences can be enabled. It is proved that such controllers exist iff the specified target firing sequences are controllable. The second problem is whether or not there exists a controller by which the controlled Petri net can reach a target marking and halts.
Keywords: controlled net; target firing sequence; external input place; marking control.