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

    Topics from this paper

    Explore Further: Topics Discussed in This Paper

      8 Citations
      Citation Type

      Citation Type

      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
      ON THE DESIGN OF DISCRETE EVENT DYNAMIC SYSTEMS BY MEANS OF THE BOOLEAN DIFFERENTIAL CALCULUS
      • 4
      Control of Discrete Event Systems by Means of the Boolean Differential Calculus
      • 5
      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
      • 3
      DISCRETE-EVENT CONTROLLED SYSTEMS IN THE CHEMICAL PROCESSING INDUSTRY
      ON THE DESIGN OF DISCRETE EVENT DYNAMIC SYSTEMS BY MEANS OF THE BOOLEAN DIFFERENTIAL CALCULUS
      • 11

      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