@inproceedings{Wikarski1992, author = {Wikarski, Dietmar}, title = {Locally Markovian object nets - the conceptual model}, series = {In: Workshop Concurrency, Specification \& Programming : November 19 - 21, 1992 / [Humboldt-Universit{\"a}t Berlin. Hrsg.: Dekan des Fachbereichs Informatik]. - Berlin : Dekan des Fachbereichs Informatik, 1992. - (Informatik-Preprint ; 22)}, booktitle = {In: Workshop Concurrency, Specification \& Programming : November 19 - 21, 1992 / [Humboldt-Universit{\"a}t Berlin. Hrsg.: Dekan des Fachbereichs Informatik]. - Berlin : Dekan des Fachbereichs Informatik, 1992. - (Informatik-Preprint ; 22)}, pages = {182 -- 189}, year = {1992}, language = {de} } @inproceedings{HeinerVentreWikarski1993, author = {Heiner, M. and Ventre, G. and Wikarski, Dietmar}, title = {A Petri Net based Tool Kit to integrate qualitative and quantitative analysis}, series = {In: Transputer applications and systems '93 : proceedings of the 1993 World Transputer Congress, 20 - 22 September 1993, Aachen, Germany / ed. by R. Grebe ... [TTC, the Transputer Consortium] . - ( Transputer and occam engineering series ; 36 ). - ISBN 90-5199-140-1}, booktitle = {In: Transputer applications and systems '93 : proceedings of the 1993 World Transputer Congress, 20 - 22 September 1993, Aachen, Germany / ed. by R. Grebe ... [TTC, the Transputer Consortium] . - ( Transputer and occam engineering series ; 36 ). - ISBN 90-5199-140-1}, pages = {1317}, year = {1993}, language = {en} } @article{HeinerVentreWikarski1994, author = {Heiner, Monika and Ventre, Giorgio and Wikarski, Dietmar}, title = {A Petri net based methodology to integrate qualitative and quantitative analysis}, series = {In: Information \& Software Technology Volume 36(994)7, S. 435-441}, journal = {In: Information \& Software Technology Volume 36(994)7, S. 435-441}, 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{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{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{Wikarski1994, author = {Wikarski, Dietmar}, title = {Further remarks of the relationship between C-E structures and Petri Nets}, series = {In: Concurrency, specification and programming : proceedings of the CS\&P '93 workshop, Niebor{\´o}w near Warsaw, Poland, 14 - 16 October 1993. - Warszawa, 1994. - 273 S.}, booktitle = {In: Concurrency, specification and programming : proceedings of the CS\&P '93 workshop, Niebor{\´o}w near Warsaw, Poland, 14 - 16 October 1993. - Warszawa, 1994. - 273 S.}, pages = {256 -- 257}, year = {1994}, language = {en} } @techreport{LoeweWikarskiHan1995, author = {L{\"o}we, Michael and Wikarski, Dietmar and Han, Yanbo}, title = {Higher order object nets and their application to workflow modeling}, series = {Technische Universit{\"a}t Berlin / Fachbereich Informatik: Forschungsberichte des Fachbereiches Informatik ; Bericht-Nr. [19]95,34}, journal = {Technische Universit{\"a}t Berlin / Fachbereich Informatik: Forschungsberichte des Fachbereiches Informatik ; Bericht-Nr. [19]95,34}, publisher = {Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4}, address = {Berlin}, pages = {50 S.}, year = {1995}, 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} } @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} }