Sie befinden sich hier: KU.de  Fakultäten  Mathematisch-Geographische Fakultät  Informatik  Projekte  Specimen  

SpeciMen- Integration von Spezifikations- und Modellierungstechniken bei der Modellsynthese im Steuerungsentwurf (1999 - 2005)

Zusammenfassung

Leiter

Ansprechpartner

Kurzbeschreibung

Verwendete Spezifikationstechniken

Integrationsbedarf

Bearbeitung von Fallstudien

Vorträge und Publikationen


Dieses Projekt war ein von der DFG gefördertes Projekt im DFG-Schwerpunktprogramm
"Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen"

Zusammenfassung

Jeder hat Fehlfunktionen technischer Geräte erlebt, die auf fehlerhafter intergrierter Software basieren. In sicherheitskritischen Bereichen wie der Medizin oder der Energietechnik können derartige Fehler Ursache von Katastrophen sein, manchmal führen sie zu immensen finanziellen Verlusten. Oftmals wurden bei der Programmierung selbst aber gar keine Fehler gemacht; die Programme leisten genau das, was sie angeblich sollen, sind also korrekt bezüglich ihrer Spezifikation. Das Problem liegt einen Schritt davor, im Übergang von den Anforderungen aus dem Anwendungsbereich -- die typischerweise in natürlicher Sprache oder wenig formalen Diagrammen dargestellt sind -- zu formalen Spezifikationen für die Software. Das von der DFG geförderte Schwerpunktprogramm ``Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen`` beschäftigte sich (unter Anderem) mit Lösungen zur Überwindung dieses Problems. Zu diesem Forschungsprogramm gehörte das Teilprojekt SPECIMEN, das gemeinsam geleitet wurde von Prof. Dr. Jörg Desel, Lehrstuhl für Angewandte Informatik der Katholischen Universität Eichstätt und Prof. Dr.-Ing. Hans-Michael Hanisch, Lehrstuhl für Automatisierungstechnik der Martin-Luther-Universität Halle-Wittenberg. Es konzentrierte sich auf den Entwurf von Steuerungssoftware für Produktionsanlagen, also auf die Fragestellung: Wie müssen Bänder, Maschinen, Roboter, Prozessoren und Reaktoren einer Produktionsanlage gesteuert werden, so dass die Sicherheitsanforderungen der Anlage erfüllt werden, die notwendigen Produktionsabläufe in der Anlage stattfinden, und die erzeugten Produkte geforderte Qualitätseigenschaften besitzen. Der unmittelbare Übergang von derartigen unterschiedlichen Anforderungen zu einem oder mehreren Programmen für Steuerungssysteme ist nicht möglich. Im Projekt SPECIMEN wurde eine Methodik entwickelt, die eine schrittweise Entwicklung der Spezifikationen für die Software vorsieht. Dieses Vorgehen ist modellbasiert, d.h. für die ungesteuerte Anlage wie auch für die Anforderungen werden zun\ächst formale Modelle erstellt, die mit Hilfe geeigneter Simulations- und Visualisierungsverfahren von Experten validiert werden. Um auch die Komplexität grosser Systeme bewältigen zu können, wurde ein spezieller Formalismus (NCES) entwickelt, der eine mathematisch präzise aber dennoch leicht verständliche Darstellung erlaubt. Wie im ingenieur\-wissenschaftlichen Bereich üblich, sind NCES-Modelle in Module aufgeteilt, die mittels spezieller Signale kommunizieren. Konkrete Fragestellungen des Projektes SPECIMEN waren \begin{itemize} \item die Generierung und Validierung von Anforderungen auf verschiedenen Abstraktionsstufen, \item die Implementierung der Anforderungen, \item die Integration der Anlagen- und Anforderungsmodelle zu einem Gesamtmodell, \item die Transformation der Modelle zwischen verschiedenen Abstraktionsebenen. \end{itemize} Das Projekt hatte eine geplante Laufzeit von sechs Jahren und begann im April 1999. Die im Projekt entwickelten Konzepte wurden in verschiedenen Fallstudien und in einem Industrieprojekt validiert; umgekehrt haben die Erfahrungen aus diesen Anwendungen zu Verfeinerungen des Konzepts geführt. Als Ergebnisse stehen einerseits ein Vorgehensmodell mit präziser Beschreibung der Einzelschritte zur Verfügung. Andererseits wird die Anwendung der Konzepte durch innerhalb des Projekts entwickelte Werkzeuge unterstützt, die auch nach Projektende noch weiterentwickelt werden.
 
Abschlussbericht: pdf

nach oben

Leiter

Prof. Dr. Jörg Desel 
Tel.: 08421/93-1712 
email: joerg.desel@ku-eichstaett.de 		 Prof. Dr.-Ing. Hans-Michael Hanisch 
Tel.: 03461/46-2833
email: hans-michael.hanisch@iw.uni-halle.de
Mathematisch-Geographische Fakultät 
Lehrstuhl für  Angewandte Informatik		 Mathematisch-Naturwissenschaftlich-Technische Fakultät
Institut für Automatisierungstechnik
Kath. Universität Eichstätt Martin Luther Universität Halle-Wittenberg


nach oben

Ansprechpartner

Dr. Robert Lorenz, email: robert.lorenz@ku-eichstaett.de


nach oben

Kurzbeschreibung

Steuerungen in Produktionssystemen haben die Aufgabe, das Verhalten des ungesteuerten Produktionssystems (Strecke) so zu beeinflussen, daß es einerseits anlagenspezifischen Anforderungen genügt und andererseits gewünschten Produktionsabläufen folgt, die geforderte Produkteigenschaften bewirken. Die Anforderungen sind in unterschiedlichen Spezifikationssprachen auf unterschiedlichen Abstraktionsebenen gegeben. Ziel dieses Forschungsvorhabens ist die Entwicklung einer Methodik zur Konstruktion eines integrierten Modells aus gegebenen verschiedenartigen Spezifikationen, so daß das Verhalten des resultierenden Modells den Spezifikationen genügt. Die Bausteine dieses Modells enthalten Beschreibungselemente des zu steuernden Systems und Spezifikationen der Steuerung. Das Modell wird schrittweise synthetisiert, ausgehend von detaillierten zu abstrakten Spezifikationen.

Auf jeder Ebene wird von Modellmodulen ausgegangen, deren Komposition eine horizontale Stukturierung der Modelle erlaubt. Der Übergang zwischen Abstraktionsebenen folgt der vertikalen Strukturierung von Spezifikationen. Reduktionsmechanismen Äquivalenzabbildungen erlauben die Reduktion der Komplexität einzelner Module.

Als formales Modell werden geeignet definierte Petrinetze verwendet, ihr Verhalten wird durch halbgeordnete Abläufe beschrieben.



nach oben

Verwendete Spezifikationstechniken

Semi-formale Techniken:
Blockdiagramme, Technologische Skizzen, Funktionsdiagramme nach VDI 3260, Ablaufdiagramme, Phasenmodelle, Funktionspläne nach IEC 848
Formale Techniken:
Petrinetze (verschiedene Varianten),Kausalnetze, Netz-Condition/Event-Systeme
Maschinennahe Sprachen:
SPS-Sprachen nach IEC 1131, Funktionsblockdarstellung nach IEC 1499


nach oben

Integrationsbedarf

Mehrere der oben genannten semi-formalen Techniken werden zur Modellierung einer Strecke, zur Spezifikation der Abläufe der gesteuerten Strecke sowie für die Angabe weiterer Randbedingungen verwendet. Im Rahmen des Projekts sollen geeignete Varianten dieser Beschreibungssprachen derart integriert werden, daß sie als Grundlage für die korrekte Modellsynthese eingesetzt werden können. Dabei sind die unterschiedlichen Abstraktionsniveaus der Sprachen zu berücksichtigen; die Integration kann nur in Verbindung mit Abstraktionstechniken gelingen.

Die Integration mehrerer Petrinetz-Varianten untereinander, wie auch zu den o.g. semi-formalen Beschreibungstechniken ist im Rahmen der Formalisierung von Beschreibungssprachen unerläßlich.

Schließlich wird die Transformation der modellierten Strecke in geeignete Steuersprachen innerhalb des Projekts angedacht, wenn auch nicht explizit durchgeführt.



nach oben

Bearbeitung von Fallstudien

  • Spezifikation des verteilten Steuerungskonzeptes für den holonischen Materialfluß in einem werkstattorientierten Fertigungssystem auf Basis autonomer, freifahrender Transportsysteme
  • Während der Gesamtlaufzeit: Laboranlagen des Magdeburger Antragstellers, aus industriellen Kontakten erwachsende Problemstellungen.


nach oben

Vorträge und Publikationen

2006

2005

2004

2003

2002

2001

2000

1999


2006
  • C. Liu, A. Kondratyev, Y. Watanabe, J. Desel, A. Sangiovanni-Vincentelli: Schedulability Analysis of Petri Nets Based on Structural Properties. Proceedings of the 6th International Conference on Applications of Concurrency to System Design (ACSD), IEEE Computer Society, 2006.
  • G. Juhás, R.Lorenz, S. Mauser: Synchronous + Concurrent + Sequential = Earlier than + Not later than. Proceedings of the 6th international conference on Application of Concurrency to system Design (ACSD), pages 261 - 270, 2006.
  • S. Mauser: Sematiken von Petrinetzen - ein algebraischer Ansatz, der zwischen nebenläufigem und synchronem Verhalten unterscheidet. Diplomarbeit, Mathematisch-Geographische Fakultät, Katholische Universität Eichstätt, 2006.
  • R. Bergenthum: Algorithmen zur Verifikation von halbgeordneten Petrinetz-Abläufen: Implementierung und Anwendungen. Diplomarbeit, Mathematisch-Geographische Fakultät, Katholische Universität Eichstätt, 2006.
  • R. Bergenthum, J. Desel, G. Juhás, R.Lorenz: Can I Execute my Scenario in your Net? VipTool Tells you!. Proceedings of the 27th international conference on Application and Theory of Petri Nets (ICATPN), LNCS 4024, pages 381-390, 2006.
  • R.Lorenz, G. Juhás: Towards Synthesis of Petri Nets from Scenarios. Proceedings of the 27th international conference on Application and Theory of Petri Nets (ICATPN), LNCS 4024, pages 302 - 321, 2006.


Publikationen
2005
  • J. Desel: Schwach beschränkte Petrinetze. Proceedings des 12. Workshop Algorithmen und Werkzeuge für Petrinetze {AWPN}, pp. 54-59, 2005.
  • V. Milijic: A Method for a Conjoint Specification and Modeling of Systems. Proceedings of Net.ObjectDays, LNCS 3263, pp. 255-270, 2005.
  • V.Vyatkin, H.-M.Hanisch: Modeling and Verification of Distributed Control Systems. Design, Analysis, and Simulation of Distributed Systems Symposium, DASD`05, San Diego, California, USA, Proceedings, pp. 79 - 85, 2005.
  • G. Bouzon, V.Vyatkin, H.-M.Hanisch: Timing Diagram Specifications in Modular Modeling of Industrial Automation Systems. 16th IFAC World Congress, Proceedings, 2005 (CD-ROM).
  • G. Juhás, R. Lorenz, J. Desel: Can I Execute my Scenario in your Net?. Proceedings of the 26th international conference on Application and Theory of Petri Nets (ICATPN), LNCS 3536, pages 289-308, 2005.
  • G. Juhás: Are these Events Independend? It depends!. Habilitation in Informatik, Mathematisch-Geographische Fakultät, Katholische Universität Eichstätt, 2005.


Publikationen
2004
  • J. Desel, H.-M. Hanisch, G. Juhás, R. Lorenz, C. Neumair: A Guide to Modelling and Control with Modules of Signal Nets. Final Report DFG-SPP SOFTSPEZ, LNCS 3147, pages 270-300, 2004.
  • V.Vyatkin, H.-M.Hanisch, G. Bouzon: Open Object-Orient Modelling and Validation Framework for modular industrial Automation Systems. 11th IFAC Symposium on Information Control Problems in Manufacturing, Salvador da Bahia-Brazil, 2004 (CD-ROM).
  • L.E.Pinzon, M.A.Jafari, H.-M. Hanisch, P. Zhao: Modeling Admissible Behavior Using Event Signals. IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS - PART B: CYBERNETICS, Volume 34, Number 3, pp. 1435 - 1448, 2004.
  • V.Vyatkin, H.-M.Hanisch: Achieving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Deverloper`s View. The Industrial Information Technology Handbook, CRC PRESS, pp. 66-1 - 66-20, 2004.
  • G. Juhás, R. Lorenz, C. Neumair: Modelling and Control with Modules of Signal Nets. Lectures on Concurrency and Petri Nets from the 4th Advanced Course on Petri Nets (ACPN), LNCS 3098, pages 585-625, 2004.
  • H.-M.Hanisch: Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering. 11th International Workshop ASM 2004, Lecture Notes in Computer Science, Vol. 3052, pp. 6 - 19, 2004.
  • G. Juhás, R. Lorenz, C. Neumair: Synthesis of Controlled Behavior with Modules of Signal Nets. Proceedings of the 25th international conference on Application and Theory of Petri Nets (ICATPN), LNCS 3099, pages 238-257, 2004.
  • J. Desel, H.-M. Hanisch, G. Juhás, R. Lorenz, C. Neumair: Modellierung und Steuerungsentwurf mit Signalnetz-Systemen (Abstract). Abschlusskolloquium DFG-SPP SOFTSPEZ, Stuttgart, 2004.
  • J. Desel: Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. Final Report DFG-SPP SOFTSPEZ, LNCS 3147, pages 199 - 205, 2004.
  • J. Desel, G. Juhás, C. Neumair: Finite Unfoldings of Unbounded Petri Nets. Proceedings of ICATPN, LNCS 3099, pages 157 - 176, 2004.
  • G. Juhás, R. Lorenz: Modelling Time in Signal Nets. 11th Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Paderborn, 2004.


Publikationen
2003
  • G. Juhás, R. Lorenz, T. Singlair: On synchronicity and concurrency in Petri Nets. Proceedings of the 24th international conference on Application and Theory of Petri Nets (ICATPN), LNCS 2679, pages 357-376, 2003.
  • J. Desel, G. Juhás, R. Lorenz, V. Milijic, C. Neumair: Modelling and Validation with VipTool . Proceedings of the 1st international conference on Business Process Management (BPM), LNCS 2678, pages 380-389, 2003.
  • J. Desel, G. Juhás, R. Lorenz, V. Milijic, C. Neumair, R. Schieber: Modellierung von Steuerungssystemen mit Signal-Petrinetzen: Eine Fallstudie aus der Automobilindustrie. Proceedings of the 8th conference Entwurf komplexer Automatisierungssysteme (EKA), pages 1-23, 2003.
  • J. Desel, T. Erwin: Quantitative Engineering of Business Processes with VIP business. Petri Net Technology for Communication-Based Systems, LNCS 2472, pages 219 - 242, 2003.
  • J. Desel, V. Milijic, C. Neumair: Model Validation in Controller Design. Lectures on Concurrency and Petri Nets, LNCS 3098, pages 467 - 495, 2003.
  • V.Vyatkin, H.-M.Hanisch: Verification of distributed control systems in intelligent manufacturing. Journal of Intelligent Manufacturing 1/2003, pp. 123 - 136, 2003.
  • V.Vyatkin, H.-M. Hanisch, Th. Pfeiffer: Object - oriented modular Place/ Transition Formalism for Systematic Modeling and Validation of Industrial Automation Systems. IEEE International Conference on Industrial Informatics INDIN 2003. Banff, Alberta, Canada, 2003 (CD-Version).
  • L.E.Pinzon, Th. O. Boucher, H.-M. Hanisch: Plug & Play Methodologies for Inter-Level, Enterprise Logistics and Control. IEEE Conference on Emerging Technologies and Factory Automation, Lisbon, Portugal, Proceedings, pp. 501 - 507, 2003.
  • J. Desel, G. Juhás, R. Lorenz: Relating axiomatic and operational semantics of place/transition nets : From process terms to partial orders . ENTCS 82(7), 18 pages, 2003.
  • J. Desel, G. Juhás, R. Lorenz, C. Neumair: Signalnetz-Module: Modellierung, Komposition, Semantik, Verhalten. 6th colloquium DFG-SPP SOFTSPEZ, Ulm, 2003.
  • X. Cai, V.Vyatkin, H.-M.Hanisch: Design and Implementation of a Prototype Control System According to IEC 62499. IEEE Conference on Emerging Technologies and Factory Automation, Proceedings, pp. 269 - 276, 2003.
  • V. Milijic: A Case Study Using Signal Nets And Its Implication. Petri Net Newsletter 65, pages 3 - 11, 2003.
  • C. Neumair: Entfaltung für unbeschränkte Petrinetze. Informatiktage 2002, Fachwisenschaftlicher Informatik-Kongress, pages 338 - 341, 2003.
  • G. Juhás, R. Lorenz: Modelling and Control with Modules of Petri Nets. Themenworkshop Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen, DFG-SPP SOFTSPEZ, Stuttgart, 2003.


Publikationen
2002
  • V. Milijic: Motivational Factors for Bringing in and Demanding Contents from Knowledge Management Systems. 13th International Workshop on Database and Expert Systems Applications (DEXA), IEEE Computer Society, pp. 183-187, 2002.
  • V.Vyatkin, H.-M.Hanisch: Component Design and Validation of Decentralized Reconfigurable Control Systems with IEC 61499. International Symposium on Advanced Control of Industrial Processes. ({A}d{CONIP} ´02), Proceedings, pp. 215-220, 2002.
  • V.Vyatkin, H.-M.Hanisch: Component Design and Formal Validation of SFA Systems: A Case Study. Knowledge and Technology Integration in Production and Services ({BASYS}´02), Fifth {IEEE}/{IFIP} International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services, Proceedings, pp. 313-322, 2002.
  • V.Vyatkin, H.-M.Hanisch, J.L.Martinez Lastra, R. Tuokko: An Approach to Validation of Industrial Automation Systems combining Formal Verification and Simulation. 43rd Conference on Simulation and Modelling ({SIMS} 2002), Proceedings, pp. 191-198, 2002.
  • V. Vyatkin, H. - M. Hanisch, S. Karras,X. Cai: IEC 61499 as an Architectural Framework for Integration of Formal Models in Practical Control Engineering. 13. {F}achmesse \& {K}ongress {SPS}/{IPC}/{DRIVES} 2002 - {E}lektrische {A}utomatisierung, {T}agungsband, pp. 310-318, 2002.
  • Christian Neumair: Entfaltungen für unbeschränkte Petrinetze. Beitrag auf den Informatiktagen in Bad Schussenried, Fachwissenschaftlicher Kongreß, 8.,9. Dezember 2002.
  • L. Kleinschmidt: Anwendungspotentiale von TNCES in Manufacturing Execution Systems. Diplomarbeit, Fakultät Elektrotechnik, Otto-von-Guericke-Universität Magdeburg, 2002.
  • G. Juhás und R. Lorenz: Modelling with Petri Modules. In: B. Caillaud, Ph. Darondeau, L. Lavagno, X. Xie (Eds.). Synthesis and Contol of Discrete Event Systems. Kluwer Academic Press, S. 125-138, 2002.
  • J. Thieme, H.-M.Hanisch: Model-based Generation of Modular PLC Code Using IEC 61131 Function Blocks. IEEE International Symposium on Industrial Electronics (IEEE-ISIE 2002), Proceedings, pp. 199-204, 2002.
  • C. Neumair: Finite Unfoldings of Unbounded Petri Nets. Petri Net Newsletter 63, pages 5 - 10, 2002.
  • J. Desel, G. Juhás und R. Lorenz: Input/Output Equivalence of Petri Modules. In: Proc. of the 6th Biennal World Conference on Integrated Design and Process Technology IDPT 2002, Pasadena, California, 2002.
  • Gabriel Juhás, Robert Lorenz: Von Prozesstermen zu partiellen Ordnungen. Themenworkshop Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen des DFG-SPP SOFTSPEZ, Halle, 2002.
  • C. Neumair: Überdeckungsentfaltung für unbeschränkte Netze. Diplomarbeit, Mathematisch-Geographische Fakult\"at, Katholische Universit\"at Eichst\"att, 2002.
  • T. Erwin: Entwurf von Geschäftsprozessen mit Petrinetzen. Dissertation, Fakult\"at f\"ur Wirtschaftswissenschaften, Universit\"at Karlsruhe, 2002.
  • J. Desel: Model validation - A theoretical issue?. Eingeladener Beitrag in {\em Application and Theory of {P}etri nets 2002} in Adelaide, LNCS, Springer, 2002.
  • Jörg Desel, Gabriel Juhás, Christian Neumair: Entfaltung (Unfolding) für unbeschränkte Netze. Themenworkshop Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen des DFG-SPP SOFTSPEZ, Halle, 2002.


Publikationen
2001
  • U. Christmann: BatchMon. Monitoring and Simulation of Recipe Driven Batch Processes in Disturbance Situations. Dissertation, Mathematisch-Naturwissenschaftlich-Technische Fakultät der Martin-Luther-Universität Halle-Wittenberg, 2001.
  • J. Desel: Petri net based specification techniques for flexible workflows. Proceedings of the 2nd International Colloquium on Petri net Technologies for Modeling Communication Systems, pages 65 - 74, 2001.
  • J. Desel, T. Erwin: Quantitative Engineering of Business Processes with VIP business. Forschungsbericht des Instituts AIFB der Universit\"at Karlsruhe (TH) Nr. 407, 2001.
  • J. Desel, E. Kindler: Petri nets and components - extending the DAWN approach. Proceedings of the Workshop on Modeling of Objects, Components, and Agents (MOCA), pages 21 - 36, 2001.
  • J. Desel, G. Juhás: What is a Petri net? Informal Answers for the Informed Reader. Unifying Petri Nets, LNCS 2128, pages 1 - 25, 2001.
  • J. Thieme: Symbolische Erreichbarkeitsanalyse und automatische Implementierung strukturierter, zeitbewerteter Steuerungsmodelle. Dissertation, Mathematisch-Naturwissenschaftlich-Technische Fakultät der Martin-Luther-Universität Halle-Wittenberg, 2001.
  • Jörg Desel, Gabriel Juhás, Robert Lorenz: Petri Nets over Partial Algebra. In: H. Ehrig, G. Juhas, J. Padberg, G. Rozenberg (Eds.), Unifying Petri Nets in der Reihe Advances in Petri Nets, LNCS 2128, S. 131-178, Springer, 2001
  • T. Noppe: Informationsmodellierung zur Integration rezepturgesteuerter Prozesse. Diplomarbeit, Fakultät Elektrotechnik, Otto-von-Guericke-Universität Magdeburg, 2001.
  • V. Vyatkin, H.-M. Hanisch: Formal Modeling and Verification in the Software Engineering Framework of IEC 61499: a Way to Self-verifying Systems. Proceedings of the 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pages 6113 - 118, 2001.
  • V. Vyatkin, H.-M. Hanisch: Application of Visual Specification for Verification of Distributed Controllers. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC), pages 646 - 651, 2001.
  • Gabriel Juhás: Modelling with Petri Modules: Composition preserving equivalence. In: Proceedings 8. Workshop AWPN, 1., 2. Oktober 2001, Eichstätt, S. 12 - 20.
  • Gabriel Juhás, Robert Lorenz: VIP-Tool Erweiterung für NCEM. In: Proceedings 8. Workshop AWPN, 1., 2. Oktober 2001, Eichstätt, S. 71 - 73.
  • Jörg Desel, Gabriel Juhás, Robert Lorenz: Validierung: (Semi)Formalisierung informaler Spezifikation. Beitrag auf dem Themenworkshop "Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen" des SPP, 13. September 2001, Berlin.
  • Jörg Desel, Gabriel Juhás, Robert Lorenz: Ablaufmodellierung mit Petri-Modulen. Beitrag auf dem Themenworkshop "Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen" des SPP, 13. September 2001, Berlin.
  • Gabriel Juhás: Modelling with Petri Modules. Eingeladener Beitrag auf dem Symposium on the Supervisory Control of Discrete Event Systems (SCODES), ,23. Juli 2001, Paris.
  • T. Both, V.Vyatkin, S. Karras: Model-based Design and Code Generation for Control. 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2001), Proceedings, pp. 440 - 445, 2001.
  • Gabriel Juhás, Robert Lorenz: Inkrementeller Steuerungsentwurf von automatischen Systemen. Beitrag auf dem Themenworkshop "Modelltransformation und Werkzeugkopplung" des SPP, 11., 12. Juni 2001, Braunschweig.
  • J. Desel, G. Juhás, R. Lorenz: Unifying Petri Nets with Restricted Occurrence Rule using Partial Algebra. Eingeladener Beitrag auf dem Workshop UNIGRA 2001, 31. März, 01.April 2001, Genua. In: ENTCS 44(4), 25 pages, Elsevier.


Publikationen
2000
  • J. Desel, G. Juhás, R. Lorenz: Inkrementeller Steuerungsentwurf von Produktionssystemen. Beitrag auf dem 3. Kolloquium des DFG-Schwerpunktprogramms "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen", 14., 15. November 2000, Ulm.
  • H.-M. Hanisch: Festo Laboranlage. http://at.iw.uni-halle.de/~testbeds/.
  • J. Desel: Validation of process models by construction of process nets. Business Process Management: Models, Techniques and Empirical Studies, LNCS 1806, pages 108 - 126, 2000.
  • J. Desel, T. Erwin: Modeling, simulation and analysis of business processes. Business Process Management: Models, Techniques and Empirical Studies, LNCS 1806, pages 127 - 139, 2000.
  • J. Desel, T. Erwin: Hybrid specifications: looking at workflows from a run-time perspective. International Journal of Computer System Science and Engineering 15 Nr. 5, 291 - 302, 2000.
  • G. Juhás: Modeling place timed Petri nets via asymmetric synchronization. Petri Net Newsletter 58, pages 15 - 20, 2000.
  • H.-M. Hanisch, J. Thieme, K. Lautenbach, C. Simon: A Modular Modeling Approach for Hybrid Systems Based on C/E-Systems and Extended Timestamp Nets. Proceedings of the 4th International Conference on Automation of Mixed Processes (ADPM), pages 363 - 374, 2000.
  • J. Desel: Petri nets in integrated software specification. Bericht Nr. 200/04 des Fachbereich Informatik der TU Berlin, pages 22 - 27, 2000.
  • A. Lüder: Formaler Steuerungentwurf mit modularen diskreten Verhaltensmodellen. Dissertation, Mathematisch-Naturwissenschaftlich-Technische Fakultät der Martin-Luther-Universität Halle-Wittenberg, 2000.
  • A. Lüder, H.-M. Hanisch: Synthesis of Admissible Behavior of Petri Nets for Partial Order Specifications. Proceedings 5th International Workshop on Discrete Event Systems (WODES), Kluwer, pages 409 - 431, 2000.
  • H.-M.Hanisch, A. Lüder: A Signal Extension for Petri Nets and its Use in Controller Design. Fundamenta Informaticae Nr.4, pp. 415 - 431, 2000.
  • V.Vyatkin, H.-M.Hanisch: Practice of Modeling and Verification of Distributed Controllers Using Signal Net Systems. Workshop Concurrency, Specification \& Programming, pp. 335-349, 2000.
  • L.E.Pinzon, M.A.Jafari, H.-M. Hanisch: Modeling Admissible Behavior with Net Condition/Event Systems. IEEE International Conference on Robotics & Automation. San Francisco, CA., Proceedings, IEEE Press, pp. 2865 - 2870, 2000.
  • Arndt Lüder, Robert Lorenz: Branching Processes of NCEM and its Application to Controller Design, Technischer Bericht Magdeburg/Eichstätt 2000
  • Jörg Desel: Simulation of Petri Net Processes, eingeladener Beitrag für die IFAC Conference CSD 2000 in Bratislava
  • Jörg Desel, Gabriel Juhás, Robert Lorenz: Process Semantic of Petri Nets over Partial Algebra. In: Nielsen, M., Simpson, D. (Hrsg.): Proceedings of XXI International Conference on Applications and Theory of Petri Nets, Aarhus, Juni 2000, LNCS 1825. Springer-Verlag. S. 146 - 165.
  • Jörg Desel, Gabriel Juhás, Robert Lorenz: Process Semantics and Process Equivalece of NCEM. In: Proceedings 7. Workshop Algorithmen und Werkzeuge für Petrinetze. Fachbericht Informatik 7/2000 der Universität Koblenz-Landau. S. 7 - 12.
  • Hans Michael Hanisch, Arndt Lüder: Synthesis of Admissible Behaviour of Petri Nets for Partially Ordered Specifications, in 5. Workshop of Discrete Event Systems (WODES) 2000, Ghent (Belgien)
  • Hans Michael Hanisch, Arndt Lüder: Synthesis of Closed-Loop Models of Seqeuentially Controlled Manufactering Systems, eingereicht bei Journal of Production Research, 2000
  • Gabriel Juhás: A Unified Approach to Modelling and Control of a Class of Discrete Event and Hybrid Systems via Algebraically Generalized Petri Nets, Beitrag für die IFAC Conference CSD 2000 in Bratislava
  • Arndt Lüder: Methoden der NCES-basierten Steuerungssynthese - Steuerungsmodelle und Verhaltensmodelle, Dissertation, Fakultät Elektrotechnik, Universität Magdeburg 2000
  • F. Tiplea, A. Tiplea: Petri Net Reactive Modules, technischer Bericht Augsburg 2000


Publikationen
1999
  • Jörg Desel, F. Tiplea: Petri Net Process Decomposition with Application to Validation, in Proceedings des 6. Workshops "Algorithmen und Werkzeuge für Petrinetze" (AWPN) 1999 in Frankfurt
  • S. Fleck: Prozesslogistik als Teil der F\"uhrungsstruktur rezeptgesteuerter Prozesse. Dissertation, Fakultät Elektrotechnik, Otto-von-Guericke-Universität Magdeburg, 1999.
  • Hans Michael Hanisch, Arndt Lüder: Modular Modelling of Closed-Loop Systems, in Colloqium of Petri Net Technologies for Modelling Communication Based Systems, Seiten 103-126, 1999
  • Gabriel Juhás: On Semantics of Petri Nets over Partial Algebras, in SOFSEM 1999: Theory and Pratice of Informatics, LNCS 1725, Seiten 414-421, Springer 1999
  • S. Karras: Formale Verifikation und Codegenerierung von SPS-Programmen, Diplomarbeit, Fakultät Elektrotechnik, Universität Magdeburg 1999
  • Arndt Lüder, J. Thieme: Transformation von Netzmodellen zur Analyse von technischen Systemen, technischer Bericht Magdeburg 1999
  • P.H. Starke, S. Roch, K. Schmidt, H.M. Hanisch, A. Lüder: Analysing Signal-Event Systems, Interner Bericht der Humboldt Universität Berlin 1999


Publikationen

nach oben

letzte Änderung am  Robert Lorenz