Publikationen

Artikel

2011    2006    2005    2004    2003    2002    2001    2000 und früher

K. Lautenbach, A. Pinl
A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications.
Natural Computing, 10:683-709, 2011

K. Lautenbach, S. Philippi, A. Pinl,
Bayesian Networks and Petri Nets.
in: E. Schnieder (Hrsg.), Entwurf komplexer Automatisierungssysteme, EKA 2006, 9. Fachtagung, Braunschweig, 2006

S. Philippi, A. Pinl, J.R. Müller, R. Slovák
Towards Tool Support for the Formally Based Analysis of Safetycritical Systems with Petri-Nets.
Tagungsband des 13. Workshops 'Algorithmen und Werkzeuge für Petri Netze' (AWPN), Hamburg, 2006

S. Philippi, A. Pinl, G. Rausch
A First View on a Generalised Modelling Toolkit for Graph-based Languages.
Tagungsband des 12. Workshops 'Algorithmen und Werkzeuge für Petri Netze' (AWPN), Berlin, 2005

S. Philippi,
Model Driven Generation and Testing of Object-Relational Mappings.
The Journal of Systems and Software, 2005

J. Köhler, C. Rawlings, P. Verrier, R. Mitchell, A. Skusa, A. Ruegg, S. Philippi,
Linking Experimental Results, Biological Networks and Sequence Analysis Methods using Ontologies and Generalized Data Structures.
In Silico Biology 5, 2004

S. Philippi, J. Köhler,
Using XML technology for the ontology-based semantic integration of molecular biological databases.
IEEE Transactions on Information Technology in Biomedicine, 8(2), 2004

S. Philippi,
Formally Based Modeling and Inheritance of Behaviour in Object-Oriented Systems.
The Journal of Systems and Software 70(1/2), 2004

S. Philippi,
Light-Weight Integration of Molecular Biological Databases.
Bioinformatics 20(1), 2004

K. Lautenbach,
Logical Reasoning and Petri-Nets.
Proceedings of the 24th International Conference on Applications and Theory of Petri Nets 2003. Lecture Notes in Computer Science 2679, 2003

J. Köhler, S. Philippi, M. Lange,
SEMEDA - Ontology based integration of biological databases.
Bioinformatics 19(18), 2003

S. Philippi,
Analysis of Reliability and Fault-Tolerance in Distributed Real-Time System Architectures.
Reliability Engineering and Systems Safety 82(2), 2003

S. Philippi,
Automated Prototyping of CORBA-based Distributed Systems.
'FIDJI'02 - Proceedings of the International Workshop on Scientific Engineering of Java Distributed Systems', LNCS 2604, Springer, 2003

S. Philippi,
A CASE-Tool for the Development of Concurrent Object-Oriented Systems based on Petri-Nets.
Petri-Net Newsletter 62, 2002

J. Köhler, M. Lange, S. Philippi, S. Schulze-Kremer,
Cooperative Ontology Editing using SEMEDA.
Proceedings of the Int. Workshop on Biological Ontologies, Heidelberg, Germany, 2002

K. Lautenbach, J. Müller, and S. Philippi,
Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON.
'PROMISE 2002 - Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen'. Lecture Notes in Informatics, GI-Edition, 2002

K. Lautenbach,
Reproducibility of the empty marking.
In Javier Esparza and Charles Lakos, editors, Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, 2002

C. Simon, K. Lautenbach, H.-M. Hanisch, J. Thieme,
Using Parameterized Timestamp Petri Nets in Automatic Control.
Lecture Notes in Control and Information Science, Springer, 2002

S. Philippi,
Modeling and Simulation of Safety-Critical Automotive Systems.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Hammamet, Tunisia, 2002

S. Philippi,
Visual Programming of Concurrent Object-Oriented Systems.
Journal of Visual Languages and Computing 12(2), 2001

H.-M. Hanisch, K. Lautenbach, C. Simon, und J. Thieme,
Modeling and validation of hybrid systems using extended timestamp nets.
Automatisierungstechnik (AT), 2, 2001.

K. Lautenbach und C. Simon,
Modellierung der Dynamik einer Batchanlage,
In E. Schnieder (Hrsg.), Engineering komplexer Automatisierungssysteme, EKA, 2001.

J. Müller, S. Philippi, und M. Seidel
Modellierung verteilter Echtzeitsysteme am Beispiel drive-by-wire
In Proceedings des 8. Workshop Algorithmen und Werkzeuge für Petri-Netze, Universität Eichstätt, Eichstätt, 2001.

S. Philippi,
Visual Programming of Concurrent Object-Oriented Systems,
Journal of Visual Languages and Computing, 12(1), February 2001.

S. Philippi,
Modeling and Inheritance of Behaviour in Object-Oriented Systems,
In Proceedings of the IEEE Symposium on Visual Methods for Parallel and Distributed Programming, London, 2001.

C. Simon,
Developing software controllers with petri nets and a logic of actions,
In IEEE International Conference on Robotics and Automation (ICRA), 2001.

H. Giese und S. Philippi (Eds.),
VVVNS 2000 - Visuelle Verhaltensmodellierung nebenläufiger und verteilter Systeme. 8. Workshop des Arbeitskreises GROOM der GI- Fachgruppe 2.1.9 Objektorientierte Softwareentwicklung.
Fachberichte Angewandte Mathematik und Informatik 24 00, Universität Münster, 2000

H. M. Hanisch, K. Lautenbach, C. Simon, und J. Thieme,
A Modular Modeling Approach for Hybrid Systems Based on C/E-systems and Extended Timestamp Nets.
In ADPM, Dortmund, September 2000

S. Philippi,
Seamless object-oriented software development on a formal base.
In Workshop on Software Engineering and Petri-Nets, held at the 21st Int. Conference on Theory and Applications of Petri-Nets 2000, Aarhus, Denmark, 2000

S. Philippi,
Modeling of concurrent object-oriented systems using high-level Petri-Nets.
In Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2000), Orlando, USA, 2000

S. Philippi,
Visual programming of concurrent object-oriented systems.
In Workshop on Visual Methods for Parallel and Distributed Programming, held at the IEEE Symposium on Visual Languages (VL2000), Seattle, USA, 2000

C. Simon und J. Thieme,
Transformation zeitbewerteter Netzmodelle.
Technical report, Magdeburg, 2000

R. Kruse und K. Lautenbach,
Constraint Satisfaction mit Petri-Netzen.
In Proceedings des 6. Workshop Algorithmen und Werkzeuge für Petri-Netze, Universität Frankfurt, Frankfurt, 1999

S. Philippi,
OOPr/T-Modelle - ein Pr/T-Netz basierter Ansatz zur objektorientierten Modellierung und Java-Codegenerierung.
In Proceedings des 6. Workshop Algorithmen und Werkzeuge für Petri-Netze, Universität Frankfurt, Frankfurt, 1999

S. Philippi,
Formal based modeling of concurrent object-oriented systems.
In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, USA, 1999

H.-M. Hanisch, K. Lautenbach, C. Simon, und J. Thieme,
Timestamp Nets in Technical Applications.
In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Diego, USA, 1998

H.-M. Hanisch, K. Lautenbach, C. Simon, und J. Thieme,
Timestamp petri nets in technical applications.
In A. Giua, R. Smedinga, M. P. Spathopoulos, A. Fanni, and E. Usai, editors, IEE International Workshop on Discrete Event Systems, pages 321 326. IEE Control, 1998

R. Kruse und K. Lautenbach,
Bayessche Petri-Netze.
In J. Desel, P. Kemper, E. Kindler und A. Oberweis (Hrsg.), 5. Workshop Algorithmen und Werkzeuge für Petrinetze, Forschungsbericht Nr. 694, S. 67-72. Universität Dortmund, 1998

S. Philippi,
Modularization of Petri-Nets using object-oriented concepts.
In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Diego, USA, 1998

C. Fahrner, T. Marx und S. Philippi,
DICE: declarative integrity constraint embedding into the object database standard ODMG-93.
In Data and Knowlegde Engineering, 23, 1997

R. Kruse und K. Lautenbach,
Diagnostik mit Petri-Netzen.
In A. Oberweis J. Desel, E. Kindler (Hrsg.) 4. Workshop Algorithmen und Werkzeuge für Petrinetze, Informatik-Bericht Nr. 85, S. 19-25. Humbold Universität zu Berlin, 1997