Refine
Year of publication
Document Type
- Conference Proceeding (18)
- Article (6)
- Part of a Book (3)
- Book (2)
- Report (1)
Keywords
- 3D Printing (1)
- Additive Manufacturing (1)
- Bio-slurry (1)
- Biodigester (1)
- Biogas (1)
- CAD/CAM (1)
- CFD (1)
- COVID-19 (1)
- CSCW (1)
- Certification (1)
Institute
An innovative net-based methodology to integrate qualitative and quantitative analysis of distributed software systems is outlined, and an on-going prototype implementation of a related graphic-oriented tool kit is sketched. The proposed method combines qualitative analysis, monitoring and testing as well as quantitative analysis on the basis of a net-based intermediate representation of the distributed software system under consideration. All transformations (from the distributed software system into a first Petri net model, and between the different kinds of net models) can be made formally, and therefore automated to a high degree. The evaluation of quantitative properties is based on so-called object nets which are obtained by a property-preserving structural compression and quantitative expansion of the qualitative model. In this way, the frequency and delay attributes necessary to generate quantitative models are provided by the monitoring and testing component.
Visual knowledge maps are being used to improve the communication processes within global organizations. Knowledge maps are graphical presentations of ontological knowledge as well as of business processes. Especially for enterprises working in a multi-cultural space the explicit formaliza-tion of knowledge and business rules using graphical models seems to be a very promising approach in order to improve discussion and learning processes. Publishing and automatic inference or search techniques are becoming available due to the latest standards for Semantic Web worked out by W3C. This article gives an impression how to create end user interfaces for the ”Corporate Knowledge Base” using MS Office and Visio with the modeling tool SemTalk. Several problems on capturing and maintaining large scale knowledge bases are discussed. Specific attention is given to the problem of weighting and association of information from orthogonal ontologies, which arises while using the same concepts in different graphical scenarios.
Modular process nets are a graphical and formal notation for the representation of technical and business process models containing concurrent activities. Originally this class of Petri nets was developed for the modeling, analysis, simulation and control of workflows and computer-based process control systems, but it is also suitable for use in all other areas where a formal but comprehensible description of complex processes is needed. After a description of the basic aims and design decisions for modular process nets, the report gives a brief introduction to low-level Petri nets including different types of transition rules and aspects of the descriptive and prescriptive use of process models. The main and most innovative points which are explained in more detail are the introduction of a hierarchical module concept for nets and the definition of elementare process nets. The module concept is part of a more general ("object-based") approach to Petri nets allowing severaltypes of ab straction, whereas the main points of elementary process nets are synchronous and asynchronous communication between separately interpreted net instances via events and token passing. Modular process nets are low-level Petri nets equipped with these module and communication concepts and optionally enhanced by die use of a task concept, a method known from the areas of computer-supported cooperative work (CSCW) and work-flow management. Because the report is aimed at a systematic and easy-to-understand introduction to modular process nets, it provides a precise explanation of this net class which is kept as informal as possible and enhanced by some typical application examples