AWPN 2005

1.Tag

13:00	Treffen
13:30 - 15:30	Eine Charakterisierung einfacher Petrinetz-Schemata A. Glausch STG Decomposition: Optimised Backtracking and Component Generation M. Schaefer A Multi Purpose 3D Simulation Tool Based on Discrete Event Systems C. Stehno Petri Nets and the Real World E. Kindler, F. Nillies
16:00 - 18:00	A First View on a Generalised Modelling Toolkit for Graph-based Languages S. Phillippi, A. Pinl, G. Rausch Ein Petrinetzsystem zur Modellierung selbstmodifizierender Petrinetze V. Tell, D. Moldt Model Checking of Bounded Petri Nets Using Interval Diagrams A. Tovchigrechko Recycling Model Checking Tools for New Application Domains C. Stehno
18:00 - 18:30	Fachgruppentreffen

2.Tag

09:00 - 11:00	Unentscheidbarkeit des Beschränktheitsproblems für allgemeine Referenznetze R. Dietze Schwach beschränkte Petrinetze J. Desel Reduction Rules for Interaction Graphs D. Weinberg, K. Schmidt Semantische Annotation von Petri-Netzen A. Koschmider, D.Ried
11:30 - 13:30	Modellierung und Analyse transaktionaler Geschäftsprozesse C. Frenkler, K. Schmidt Operating Guidelines for Services P. Massuthe, K. Schmidt Service Modeling Based on High-Level Petri Nets M. Köhler, J. Ortmann Are Visual Methods Mandatory for the Modeling of Business Processes? C. Simon
13:30 - 13:45	Abschluss-Session