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… 
View via Publisher
8 Citations
Highly Influential Citations
1
Background Citations
2

Topics from this paper

    8 Citations

    Citation Type

    Citation Type

    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