The increasing number of Petri net variants naturally leads to the question whether the term
“Petri net” is more than a common name for very different concepts. This contribution tries to …

The modeling of production systems of realistic size requires modeling techniques which
have the capability to build large models from smaller ones. The authors assume that these …

The contribution of this paper is the introduction of the event-condition-action (ECA)
paradigm for the design of modular logic controllers that are reconfigurable. ECA rules have …

1 Introduction......................... 669 2 Modularityandlocality................... 670 2.1 The structure of
complex systems............ 670 2.2 Models of complex systems............... 670 2.3 …

Interpreted Petri nets (IPN) are an extension of the basic Petri net (PN) framework. They are
ordinary PN with additional components to model the information flow to and from the PN …

An approach to the formal verification of logic controllers for processes with switched
continuous dynamics is presented. The method builds on modular, timed discrete event …

The purpose of this paper is to illustrate and compare some of the existing synthesis
methods for discrete event controllers. We summarize four of the well-known methodologies …

The paper presents a method for logic controller synthesis based on net condition/event
models of the uncontrolled plant and specifications of forbidden states. Plant models are set …

Synthesis of supervisory controllers based on a novel representation of condition/event
systems Page 1 Synthesis of Supervisory Controllers based on a Novel Represent at ion of …

This paper presents a method for the identification of stochastic timed discrete event
systems, based on the analysis of the behavior of the input and output signals, arranged in a …