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… CONTINUE READING
Topics from this paper
8 Citations
Ein neuer Ansatz zur algebraischen Darstellung von Petri-Netzen
- Computer Science
- 1996
- 2
- Highly Influenced
On the use of Petri nets for design, verification and optimization of control procedures for batch processes
- 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
- Computer Science, Mathematics
- 1992
- 4
Deadlock analysis for deterministic finite state automata using affine linear models
- Computer Science, Mathematics
- 2001 European Control Conference (ECC)
- 2001
- 2
DISCRETE-EVENT CONTROLLED SYSTEMS IN THE CHEMICAL PROCESSING INDUSTRY
- Computer Science, Engineering
- 1993
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