For the most recent entries see the
Petri Nets Newsletter.
Bedingungs/Ereignis-Systeme und ihre Verwendung zur Modellierung und Verifikation diskret gesteuerter kontinuierlicher Prozesse.
Bauer, N.;
Kowalewski, S.;
PreuÑig, J.;
Stursberg, O.;
Treseler, H.
In:
Desel, J.; Kemper, P.; Kindler, E.; Oberweis, A.: Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 1-6.
Universität Dortmund, Fachbereich Informatik,
1998.
Abstract:
The authors present a tool that supports the modelling and analysis of
discrete controls in industrial applications.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography