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={Rainer 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… 
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
  • Engineering
    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.
Control of Discrete Event Systems by Means of the Boolean Differential Calculus
TLDR
This paper not only demonstrates fundamental properties of the BDC, but also presents a synthesis algorithm for the cat-mouse-example.
Deadlock analysis for deterministic finite state automata using affine linear models
  • J. Reger
  • Computer Science
    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.

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