On forbidden state problems for a class of controlled Petri nets

Boel, René; Ben-Naoum, L.; Breusegem, V. Van

doi:10.1109/9.467679

Cited by 79 publications

(33 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The use of disjunctions is necessary in order to describe more general sets of forbidden states, as the PN is not assumed to be safe. The supervisors obtained in Boel et al (1995) are not represented as Petri nets.…”

Section: Path-based Approachesmentioning

confidence: 99%

See 1 more Smart Citation

Supervision Based on Place Invariants: A Survey

Iordache

Antsaklis

2006

Discrete Event Dyn Syst

107

View full text Add to dashboard Cite

The supervision based on place invariants (SBPI) is an efficient technique for the supervisory control of Petri nets. This paper reveals the significance of the SBPI based on a literature survey, applications, and an analysis of problems and supervisory settings that can be addressed using SBPI. Special attention is given to the various settings within which the problem can be formulated. Such settings can be distinguished based on the concurrency type, the type of controllability and observability, and the centralized or decentralized type of supervision. As we show, it is possible to approach the most general settings in a purely structural way, without resorting to reachability analysis. We begin by describing the SBPI problem and the literature methods that address this problem or are related to it. Then, we proceed to show classes of problems that can be reduced to the SBPI problem. In the SBPI, the specification is described as a system of inequalities that the Petri net marking must satisfy at any time. However, as we show, problems involving more general specifications can be approached in the SBPI setting, sometimes under additional assumptions, by performing net and/or specification transformations. Four of the specifications we will consider are logic constraints, language specifications, disjunctions of linear constraints, and liveness. We conclude with a presentation of possible applications of the SBPI approach to programming with semaphores, fault tolerance, and synchronic-distance based designs.

show abstract

Section: Path-based Approachesmentioning

confidence: 99%

“…In Boel et al (1995), the design of supervisors is studied in a similar setting in which the CtlPN has a state machine structure. The forbidden sets are represented in a form more general than (24).…”

Section: Path-based Approachesmentioning

confidence: 99%

Supervision Based on Place Invariants: A Survey

Iordache

Antsaklis

2006

Discrete Event Dyn Syst

107

View full text Add to dashboard Cite

show abstract

“…Petri nets ( Peterson, 1981) and vector DESs (VDESs) (Li and Wonham, 1995) are suitable modeling formalisms of CDESs. Most research on control of CDESs modeled by Petri nets or VDESs considers a state based specification and uses a state feedback controller to achieve it (Boel et al, 1995;Holloway and Krogh, 1990;Li and Wonham, 1995;Takai et al, 1994;Ushio, 1990;Ushio et al, 1992).…”

Section: Introductionmentioning

confidence: 99%

Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation

Takai

Ushio

2005

Discrete Event Dyn Syst

View full text Add to dashboard Cite

In this paper, we study supervisory control of a class of discrete event systems with simultaneous event occurrences, which we call concurrent discrete event systems, under partial observation. The behavior of the system is described by a language over the simultaneous event set. First, we prove that L m (G )-closure, controllability, observability, and concurrent well-posedness of a specification language are necessary and sufficient conditions for the existence of a nonblocking supervisor. Next, we synthesize a supervisor that achieves the infimal closed, controllable, observable, and concurrently well-posed superlanguage of a specification language. Finally, we synthesize a supervisor that achieves a maximal closed, controllable, observable, and concurrently well-posed sublanguage of a closed specification language.

show abstract

“…For example, in the STD of Figure 5, the optimal control policy P consists of removing the arcs that emanate from lightly shaded solid nodes and cross the twisted dashed line. 7 For a de nition of this concept refer to 2 .…”

Section: Deadlock a Voidance Policies General De Nitionsmentioning

confidence: 99%

Structural Control of Large-Scale Flexibly Automated Manufacturing Systems

Reveliotis¹,

Lawley²,

Ferreira³

2000

Computer-Aided Design, Engineering, and Manufacturing

View full text Add to dashboard Cite

Current strategic and technological trends in discrete-part manufacturing require extensive and exible automation of the underlying production systems. However, even though a great deal of work has been done to facilitate manufacturing automation at the hardware component level, currently there is no adequately developed control methodology for these environments. In particular, it has recently been realized by the manufacturing community that any successful attempt towards the extensive automation of these environments requires the establishment o f logically correct and robust behavior from the underlying system. The resulting line of research is complementary to the most traditional performance-oriented control, and it has come to be known as the structural control of the contemporary exibly automated production environment. In this chapter, we initially discuss the role of structural control in the broader context of realtime control of exible manufacturing systems FMS, and in continuation, we present the major results of our research program on manufacturing system deadlock, currently the predominant structural control problem in the manufacturing research literature. In the concluding section, we also indicate how these results should be integrated in contemporary FMS controllers, and highlight directions for future research in the FMS structural control area.

show abstract

On forbidden state problems for a class of controlled Petri nets

Cited by 79 publications

References 17 publications

Supervision Based on Place Invariants: A Survey

Supervision Based on Place Invariants: A Survey

Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation

Structural Control of Large-Scale Flexibly Automated Manufacturing Systems

Contact Info

Product

Resources

About