Colloquium on Petri Net Technologies
for Modelling Communication Based Systems
Berlin, October 21st-22nd, 1999
Many of todays business data processing systems and embedded data processing
systems will be turned into communication based systems: They are expected
to support the communication between people to enable their coordinated
interworking, the communication between software systems to enable their
interoperation, and the communication between computers to enable both
the interoperation of systems and the interworking of people. Communication
has hence become an issue of critical importance in domains like
-
Computer Based Business Process Management
-
Man Machine Dialog Management
-
Systems Integration and Interoperation
-
Communication Protocols
-
etc.
Petri Nets have gained a wide acceptance in many of these work areas, and
are now a research topic in different communities like the Petri Net Community,
the Systems and Software Engineering Community and the Specification Techniques
Community. As a consequence, Petri Nets are applied now in the modelling
and specification of communication based systems in various forms and variants.
The colloquium is intended to join renowned experts from the areas indicated
above to discuss matters as
-
Classification of Petri Net variants for different purposes
-
Development of modelling guidelines that help practitioners
-
Tool support for validation and verification of models and specifications
-
Integration of different modelling and specification techniques
-
Distributed algorithms
-
Specification and semantics of processes
The colloquium is organized by the >>DFG-Forschergruppe
Petri Net Technology<< a collaborative project supported by the
Deutsche Forschungsgemeinschaft.
The colloquium is supported by the Fraunhofer-Institute for Software and Systems Engineering.
Invited Speakers
Registration Information
Colloquium
Location and Accomodation
Program
Further information will be provided as soon as it becomes available.
To contact the research group
Petri Net Technology, please send an email to
pnt-leitung@informatik.hu-berlin.de.
Last modified: September 3rd, 1999 by Tobias Vesper (vesper@informatik.hu-berlin.de).