@incollection{KimFilliesSmithetal.2002, author = {Kim, Hong-Gee and Fillies, Christian and Smith, Bob and Wikarski, Dietmar}, title = {Visualizing a Dynamic Knowledge Map Using Semantic Web Technology}, series = {In: Engineering and deployment of cooperative information systems : first international conference ; proceedings / EDCIS 2002, Beijing, China, September 17 - 20, 2002. Yanbo Han ... (ed.). - Berlin [u.a.] : Springer. - 2002. - (Lecture notes in computer science ; Vol. 2480). - S. 130 - 140. - ISBN 3-540-44222-7}, booktitle = {In: Engineering and deployment of cooperative information systems : first international conference ; proceedings / EDCIS 2002, Beijing, China, September 17 - 20, 2002. Yanbo Han ... (ed.). - Berlin [u.a.] : Springer. - 2002. - (Lecture notes in computer science ; Vol. 2480). - S. 130 - 140. - ISBN 3-540-44222-7}, doi = {10.1007/3-540-45785-2_10}, year = {2002}, abstract = {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.}, language = {en} } @inproceedings{FaustmannWikarski1996, author = {Faustmann, Gert and Wikarski, Dietmar}, title = {Exception Handling in Petri-Net-based Workflow Management}, series = {In: Practical aspects of knowledge management : proceedings of the first international conference, Basel, Switzerland, October 30 - 31, 1996 / PAKM '96, [The First International Conference on Practical Aspects of Knowledge Management. Schweizer Informatiker-Gesellschaft; Swiss Group for Artificial Intelligence and Cognitive Science. Ed. by: Michael Wolf ...]. - Z{\"u}rich, 1996. - Vol. 1.}, booktitle = {In: Practical aspects of knowledge management : proceedings of the first international conference, Basel, Switzerland, October 30 - 31, 1996 / PAKM '96, [The First International Conference on Practical Aspects of Knowledge Management. Schweizer Informatiker-Gesellschaft; Swiss Group for Artificial Intelligence and Cognitive Science. Ed. by: Michael Wolf ...]. - Z{\"u}rich, 1996. - Vol. 1.}, year = {1996}, language = {en} } @inproceedings{HanHimmighoeferSchaafetal.1996, author = {Han, Yanbo and Himmigh{\"o}fer, J{\"u}rgen and Schaaf, Thorsten and Wikarski, Dietmar}, title = {Management of Workflow Resources to Support Runtime Adaptability and System Evolution}, series = {In: Practical aspects of knowledge management : proceedings of the first international conference, Basel, Switzerland, October 30 - 31, 1996 / PAKM '96, [The First International Conference on Practical Aspects of Knowledge Management. Schweizer Informatiker-Gesellschaft; Swiss Group for Artificial Intelligence and Cognitive Science. Ed. by: Michael Wolf ...]. - Z{\"u}rich, 1996. - Vol. 1.}, booktitle = {In: Practical aspects of knowledge management : proceedings of the first international conference, Basel, Switzerland, October 30 - 31, 1996 / PAKM '96, [The First International Conference on Practical Aspects of Knowledge Management. Schweizer Informatiker-Gesellschaft; Swiss Group for Artificial Intelligence and Cognitive Science. Ed. by: Michael Wolf ...]. - Z{\"u}rich, 1996. - Vol. 1.}, year = {1996}, language = {en} } @article{Wikarski1996, author = {Wikarski, Dietmar}, title = {An introduction to modular process nets}, series = {In: TR : Technical Report / International Computer Science Institute 96-019}, journal = {In: TR : Technical Report / International Computer Science Institute 96-019}, year = {1996}, abstract = {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}, language = {en} } @inproceedings{AdametzBarthelFaustmannetal.1996, author = {Adametz, H. and Barthel, B. and Faustmann, G. and Fleischer, J. and Messer, B. and Wikarski, Dietmar}, title = {Konzepte flexibler Workflow-Management-Systeme}, series = {In: Telekooperations-Systeme in dezentralen Organisationen : Tagungsband zum Workshop der GI-Fachgruppe 5.5.1 "CSCW in Organisationen" vom 22.-23. Februar 1996 / Kurt Sandkuhl ... (Hrsg.) . - Berlin [u.a.] : ISST, 1996. - ( ISST-Berichte ; 31/96 ). - S. 7 - 32}, booktitle = {In: Telekooperations-Systeme in dezentralen Organisationen : Tagungsband zum Workshop der GI-Fachgruppe 5.5.1 "CSCW in Organisationen" vom 22.-23. Februar 1996 / Kurt Sandkuhl ... (Hrsg.) . - Berlin [u.a.] : ISST, 1996. - ( ISST-Berichte ; 31/96 ). - S. 7 - 32}, year = {1996}, language = {de} } @inproceedings{Wikarski1994, author = {Wikarski, Dietmar}, title = {Modular Nets and Object Nets: A Unifying View}, series = {In: Workshop Concurrency, Specification \& Programming : October 12 - 15, 1994 / L. Czaja ... Hrsg.: Professoren des Institutes f{\"u}r Informatik. [Humboldt-Universit{\"a}t Berlin] . - Berlin : Professoren des Inst. f{\"u}r Informatik. - 1994. - (Informatik-Berichte ; 36)}, booktitle = {In: Workshop Concurrency, Specification \& Programming : October 12 - 15, 1994 / L. Czaja ... Hrsg.: Professoren des Institutes f{\"u}r Informatik. [Humboldt-Universit{\"a}t Berlin] . - Berlin : Professoren des Inst. f{\"u}r Informatik. - 1994. - (Informatik-Berichte ; 36)}, year = {1994}, language = {en} } @book{WikarskiHeiner1995, author = {Wikarski, Dietmar and Heiner, Monika}, title = {On the application of markovian object nets to integrated qualitative and quantitative software analysis}, series = {ISST-Bericht ; 29}, journal = {ISST-Bericht ; 29}, publisher = {Fraunhofer-Inst. Software- und Systemtechnik}, address = {Berlin}, pages = {33 S.}, year = {1995}, abstract = {In this paper a Petri net based methodology is outlined for an integrated qualitative and quantitative analysis of parallel software systems which is based on different (Petri) net representations of die software system under consideration. The software validation methodology starts from the source text of a set of communicating processes which specify the system under development. From this source text skeleton, a Petri net representation of the general control structure of the system is generated. On this basis a set of reduction steps is defined for transforming the net into different intermediate representations all owing the validation of both qualitative and qualitative properties. Particular attention is paid to the validation of quantitative properties which is performed using a transformation into locally Markovian Object Nets (MONs). Models of this new class of modular Petri nets are obtained by property-preserving structural compression and by enhancement with quantitative i nformation This information is obtained in the form of frequency and delay parameters by monitoring testing the software on the basis of prototypes. Compared to a previous paper on the same topic /Heiner94/ the methodology as well presentation have been improved. In particular, a new, more comprehensive running example been selected and the object net approach is explained in much more detail.}, language = {en} } @book{HeinerWikarski1994, author = {Heiner, Monika and Wikarski, Dietmar}, title = {An approach to Petri net based integration of qualitative and quantitative analysis of parallel systems}, publisher = {Techn. Univ., Fak. f{\"u}r Mathematik, Naturwiss. und Informatik}, address = {Cottbus}, pages = {32 S.}, year = {1994}, abstract = {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.}, language = {en} } @inproceedings{MaruwasaWikarski2007, author = {Maruwasa, L. T. and Wikarski, Dietmar}, title = {Integrated local g2c-e-government and e-business for rural areas: Can a German public-private partnership model be exported to Namibia?}, series = {In K. Boamah and J. P. Grundling (Eds.). Proceedings of the 5th International conference on entrepreneurship and innovation, October 24-25, 2007, Windhoek Namibia. - Windhoek : Polytechnic of Namibia \& Tshwane University of Technology, South Africa. - 2007}, booktitle = {In K. Boamah and J. P. Grundling (Eds.). Proceedings of the 5th International conference on entrepreneurship and innovation, October 24-25, 2007, Windhoek Namibia. - Windhoek : Polytechnic of Namibia \& Tshwane University of Technology, South Africa. - 2007}, year = {2007}, abstract = {Private Public Partnerships (PPP) have been proven as one solution to ensure that the public receive enhanced services delivery from government and other civic organizations. In countries such as Namibia where the effects of the digital divide are so pertinent, PPP can and should be used to narrow this divide and so bringing to the people the promises of e-government and its many benefits as outlined in Vision 2030 and National Development Plan 3 (NDP3). Furthermore, these Private Public Partnerships can help to contribute to economic growth in particular in the Small Medium Enterprises (SME) sector. This paper attempts to show that these effects can be well achieved in the Namibian context by using the experience of a research/prototype project conducted in Germany to establish a so-called Public Service Network.}, language = {en} } @inproceedings{Muendemann1999, author = {M{\"u}ndemann, Friedhelm}, title = {Zertifizierte TeleCoach-Ausbildung}, series = {In: Berufliche Bildung in Deutschland f{\"u}r das 21. Jahrhundert : Dokumentation des 4. Forums Berufsbildungsforschung 1999 an der Universit{\"a}t Paderborn / Franz-Josef Kaiser (Hrsg.). Bundesanstalt f{\"u}r Arbeit. - N{\"u}rnberg : Zentralamt der Bundesanst. f{\"u}r Arbeit, Gesch{\"a}ftsstelle f{\"u}r Ver{\"o}ff., 1999. - (Beitr{\"a}ge zur Arbeitsmarkt- und Berufsforschung ; 238) (Beitr{\"a}ge zur Berufsbildungsforschung der AG BFN ; Nr. 4) ISBN 978-3-7639-3926-8}, booktitle = {In: Berufliche Bildung in Deutschland f{\"u}r das 21. Jahrhundert : Dokumentation des 4. Forums Berufsbildungsforschung 1999 an der Universit{\"a}t Paderborn / Franz-Josef Kaiser (Hrsg.). Bundesanstalt f{\"u}r Arbeit. - N{\"u}rnberg : Zentralamt der Bundesanst. f{\"u}r Arbeit, Gesch{\"a}ftsstelle f{\"u}r Ver{\"o}ff., 1999. - (Beitr{\"a}ge zur Arbeitsmarkt- und Berufsforschung ; 238) (Beitr{\"a}ge zur Berufsbildungsforschung der AG BFN ; Nr. 4) ISBN 978-3-7639-3926-8}, pages = {527 -- 538}, year = {1999}, language = {de} }