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}
}
  • R. Scheuring, H. Wehlan
  • Published 1991
  • Engineering, Computer Science
  • 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… CONTINUE READING
    8 Citations

    Topics from this paper

    Ein neuer Ansatz zur algebraischen Darstellung von Petri-Netzen
    • 2
    • Highly Influenced
    On the use of Petri nets for design, verification and optimization of control procedures for batch processes
    • Hans-Michael Hanisch
    • Computer Science
    • Proceedings of IEEE International Conference on Systems, Man and Cybernetics
    • 1994
    • 10
    Deadlock analysis for deterministic finite state automata using affine linear models
    • J. Reger
    • Computer Science, Mathematics
    • 2001 European Control Conference (ECC)
    • 2001
    • 2
    DISCRETE-EVENT CONTROLLED SYSTEMS IN THE CHEMICAL PROCESSING INDUSTRY

    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