Der Boolesche Differentialkalkül – Eine Methode zur Analyse und Synthese von Petri-Netzen / The Boolean differential calculus – A method for analysis and synlhesis of Petri nets

@inproceedings{Scheuring1991DerBD,
  title={Der Boolesche Differentialkalk{\"u}l – Eine Methode zur Analyse und Synthese von Petri-Netzen / The Boolean differential calculus – A method for analysis and synlhesis of Petri nets},
  author={R. Scheuring and H. Wehlan},
  year={1991}
}
Ereignisdiskrete Systeme gen innen aufgrund der wachsenden Komplexität moderner technischer Systeme zunehmend an Bedeutung. Petri-Netze stellen ein geeignetes Mittel zur Modellierung und Simulation ereignisdiskreter Systeme dar. Petri-Netz-Modelle ereignisdiskreter Systeme lassen sich auch mit dem Booleschen Differentialkalkül beschreiben. Bei dieser Methode werden Petri-Netze in boolesche Differentialgleichungen mit booleschen Nebenbedingungen abgebildet, um sie anschließend mit Hilfe… 

Topics from this paper

Ein neuer Ansatz zur algebraischen Darstellung von Petri-Netzen
TLDR
Diese Darstellung, die die Berechnung der Zustandsänderung and der schaltbaren Transitionen umfaßt, bildet die Grundlage f for die Analyse and Synthese of ereignisdiskreten Prozessen and Steuerungen.
On the use of Petri nets for design, verification and optimization of control procedures for batch processes
  • H. Hanisch
  • Computer Science
    Proceedings of IEEE International Conference on Systems, Man and Cybernetics
  • 1994
TLDR
The goal of the paper is to cross the gap between the theoretical, sophisticated techniques and formalisms and the concept which satisfies the practical needs of engineers dealing with problems of industrial size and complexity, and to show how recipes can be used as an input description for Petri net based analysis and optimization methods.
ON THE DESIGN OF DISCRETE EVENT DYNAMIC SYSTEMS BY MEANS OF THE BOOLEAN DIFFERENTIAL CALCULUS
TLDR
This paper not only demonstrates fundamental properties of the BDC, but also provides a design algorithm for a class of real DEDS, decomposed in a hierarchical set of automata, which are connected by controllers.
Control of Discrete Event Systems by Means of the Boolean Differential Calculus
A new approach to the study of discrete event systems (DES), characterized by automata, Petri-Nets or related presentations, is proposed. The Boolean Differential Calculus (BDC) supports modeling,
Deadlock analysis for deterministic finite state automata using affine linear models
  • J. Reger
  • Computer Science, Mathematics
    2001 European Control Conference (ECC)
  • 2001
TLDR
The method presented here is to embed the nonlinear state space within a linear state space of higher dimension, which provides a remedy for the problem of this kind of nonlinearity.
Discrete-Event Controlled Systems in the Chemical Processing Industry
TLDR
The paper tries to fabricate a pair of glasses for the reader which enable him to recognize discrete-event dynamic nature of chemical processes.
DISCRETE-EVENT CONTROLLED SYSTEMS IN THE CHEMICAL PROCESSING INDUSTRY
TLDR
The paper tries to fabricate a pair of glasses for the reader which enable him to recognize discrete-event dynamic nature of chemical processes.
ON THE DESIGN OF DISCRETE EVENT DYNAMIC SYSTEMS BY MEANS OF THE BOOLEAN DIFFERENTIAL CALCULUS
Abstract A new mathematical approach to the study of discrete event dynamical systems (DEDS), characterized by automata, Petri-nets or related presentations, is proposed. The Boolean Differential

References

SHOWING 1-3 OF 3 REFERENCES
und Gückel . H . : Petri - Netze in der Automatis ie - rungstechnik ( Teil 2 )
  • Automatis ierungstechnik
  • 1989
The Applicat ion of Finite Automata Theory to Sequcntial Control o f Chemical Processes
  • Proceedings o f the I F A C Sympos ium on Dynamics and Control o f Chemical Reactors . Distillation Co lumns and Batch Processes
  • 1986
Petri - Netze in der Automatis ie - rungstechnik ( Teil 1 )
  • Automatis ierungstechnik