union jack
Publikationen
Institut für Informatik

Publikationen des Jahres 1998

Bücher und Konferenzbände

  • Wolfgang Reisig. Elements Of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer-Verlag, September 1998. icon 

    @Book{ Reisig1998_elements_da,
author = {Wolfgang Reisig},
title = {{Elements Of Distributed Algorithms: Modeling and Analysis with Petri Nets}},
publisher = {Springer-Verlag},
year = 1998,
month = sep,
isbn = {3-540-62752-9},
pdf = {http://www.informatik.hu-berlin.de/top/download/publications/Reisig1998_elements_da.pdf} 


}

  • Jörg Desel, Peter Kemper, Ekkart Kindler, and Andreas Oberweis, editors. Algorithmen und Werkzeuge für Petrinetze, 5. Workshop, number 694 of Forschungsberichte, October 1998. Universität Dortmund, Fachbereich Informatik. 

    @Proceedings{ DeselKKO1998_awpn,
title = {{Algorithmen und Werkzeuge für Petrinetze, 5. Workshop}},
year = 1998,
editor = {Jörg Desel and Peter Kemper and Ekkart Kindler and Andreas Oberweis},
number = 694,
series = {Forschungsberichte},
month = oct,
publisher = {Universität Dortmund, Fachbereich Informatik} 
}

  • Wolfgang Reisig and Grzegorz Rozenberg, editors. Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, volume 1491 of Lecture Notes in Computer Science, 1998. Springer. 

    @Proceedings{ ReisigR1998_acpn_1,
title = {{Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996}},
year = 1998,
editor = {Wolfgang Reisig and Grzegorz Rozenberg},
volume = 1491,
series = {Lecture Notes in Computer Science},
publisher = {Springer},
booktitle = {{Petri Nets}},
isbn = {3-540-65306-6} 
}

  • Wolfgang Reisig and Grzegorz Rozenberg, editors. Lectures on Petri Nets II: Applications, Advances in PetriNets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, volume 1492 of Lecture Notes in Computer Science, 1998. Springer. 

    @Proceedings{ ReisigR1998_acpn_2,
title = {{Lectures on Petri Nets II: Applications, Advances in PetriNets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996}},
year = 1998,
editor = {Wolfgang Reisig and Grzegorz Rozenberg},
volume = 1492,
series = {Lecture Notes in Computer Science},
publisher = {Springer},
booktitle = {{Petri Nets (2)}},
isbn = {3-540-65307-4} 
}

Konferenzbeiträge und Beiträge auf Workshops

  • Jörg Desel and Ekkart Kindler. Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. In First International Conference on Application of Concurrency to System Design (ACSD'98), Fukushima, Japan, pages 177-186, March 1998. IEEE Computer Society Press. icon 

    @InProceedings{ DeselK1998_acsd,
author = {Jörg Desel and Ekkart Kindler},
title = {{Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study}},
booktitle = {{First International Conference on Application of Concurrency to System Design (ACSD'98)}},
year = 1998,
pages = {177-186},
address = {Fukushima, Japan},
month = mar,
publisher = {IEEE Computer Society Press},
url = {http://doi.ieeecomputersociety.org/10.1109/CSD.1998.657550} 


}

  • Jörg Desel and Wolfgang Reisig. Place/Transition Petri Nets.. In Wolfgang Reisig and Grzegorz Rozenberg, editors, Petri Nets, volume 1491 of Lecture Notes in Computer Science, pages 122-173, November 1998. Springer. 

    @InProceedings{ ReisigD1996_acpn,
author = {J{\"o}rg Desel and Wolfgang Reisig},
title = {{Place/Transition Petri Nets.}},
booktitle = {{Petri Nets}},
year = 1998,
pages = {122-173},
month = nov,
crossref = {ReisigR1998_acpn_1} 
}

  • Ekkart Kindler. The interplay of transaction models and memory models. In M. Tamer Özsu, Asuman Dogac, and Özgür Ulusoy, editors, Proceedings of the Third International Conference on Integrated Design and Process Technology, volume 2 of IDPT, pages 39-46, July 1998. Society for Design and Process Science. icon 

    @InProceedings{ Kindler1998_idpt2,
author = {Ekkart Kindler},
title = {{The interplay of transaction models and memory models}},
editor = {M. Tamer Özsu and Asuman Dogac and Özgür Ulusoy},
booktitle = {{Proceedings of the Third International Conference on Integrated Design and Process Technology}},
year = 1998,
series = {IDPT},
volume = 2,
pages = {39-46},
month = jul,
publisher = {Society for Design and Process Science},
ps = {http://www.informatik.hu-berlin.de/top/download/publications/Kindler1998_idpt2.ps} 


}

  • Ekkart Kindler and Tobias Vesper. ESTL: A Temporal Logic for Events and States. In Jörg Desel and Manuel Silva, editors, Application and Theory of Petri Nets, 19th International Conference, ICATPN '98, Proceedings, volume 1420 of Lecture Notes in Computer Science, pages 365-384, June 1998. Springer-Verlag. icon icon 

    @InProceedings{ KindlerV1998_lncs1420_2,
author = {Ekkart Kindler and Tobias Vesper},
title = {{ESTL: A Temporal Logic for Events and States}},
editor = {Jörg Desel and Manuel Silva},
booktitle = {{Application and Theory of Petri Nets, 19th International Conference, ICATPN '98, Proceedings}},
year = 1998,
series = {Lecture Notes in Computer Science},
volume = 1420,
pages = {365-384},
month = jun,
publisher = {Springer-Verlag},
ps = {http://www.informatik.hu-berlin.de/top/download/publications/KindlerV1998_lncs1420_2.ps},
url = {http://link.springer.de/link/service/series/0558/bibs/1420/14200365.htm} 


}

  • Ekkart Kindler and Hagen Völzer. Flexibility in Algebraic Nets. In Jörg Desel and Manuel Silva, editors, Application and Theory of Petri Nets, 19th International Conference, ICATPN '98, Proceedings, volume 1420 of Lecture Notes in Computer Science, pages 345-364, June 1998. Springer-Verlag. icon icon 

    @InProceedings{ KindlerV1998_lncs1420_1,
author = {Ekkart Kindler and Hagen Völzer},
title = {{Flexibility in Algebraic Nets}},
editor = {Jörg Desel and Manuel Silva},
booktitle = {{Application and Theory of Petri Nets, 19th International Conference, ICATPN '98, Proceedings}},
year = 1998,
series = {Lecture Notes in Computer Science},
volume = 1420,
pages = {345-364},
month = jun,
publisher = {Springer-Verlag},
ps = {http://www.informatik.hu-berlin.de/top/download/publications/KindlerV1998_lncs1420_1.ps},
url = {http://link.springer.de/link/service/series/0558/bibs/1420/14200345.htm} 


}

  • Klaus-Peter Neuendorf, Karsten Schmidt, Dimitris Kiritsis, and Paul Xirouchakis. Workflow Modelling and Analysis with Chameleon Nets. In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Workshop On Concurrency, Specification and Programming, pages 156-161, September 1998. Humboldt-Universität zu Berlin. Note: Appeared as Informatik-Berichte Nr. 110. 

    @InProceedings{ NeuendorfSKX1998_csp,
author = {Klaus-Peter Neuendorf and Karsten Schmidt and Dimitris Kiritsis and Paul Xirouchakis},
title = {{Workflow Modelling and Analysis with Chameleon Nets}},
editor = {H.-D. Burkhard and L. Czaja and P. Starke},
booktitle = {{Workshop On Concurrency, Specification and Programming}},
year = 1998,
pages = {156-161},
month = sep,
publisher = {Humboldt-Universität zu Berlin},
note = {appeared as Informatik-Berichte Nr. 110} 
}

  • Wolfgang Reisig. Distributed Algorithms: Modeling and Analysis with Petri Nets. In Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on, volume 1, pages 38-43, October 1998. 

    @InProceedings{ Reisig1998_icsmc,
author = {Wolfgang Reisig},
title = {{Distributed Algorithms: Modeling and Analysis with Petri Nets}},
booktitle = {{Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on}},
year = 1998,
volume = 1,
pages = {38-43},
month = oct,
isbn = {0-7803-4778-1} 
}

  • Karsten Schmidt. Goal Oriented Stubborn Sets. In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Workshop On Concurrency, Specification and Programming, pages 204-213, September 1998. Humboldt-Universität zu Berlin. Note: Appeared as Informatik-Berichte Nr. 110. 

    @InProceedings{ Schmidt1998_csp,
author = {Karsten Schmidt},
title = {{Goal Oriented Stubborn Sets}},
editor = {H.-D. Burkhard and L. Czaja and P. Starke},
booktitle = {{Workshop On Concurrency, Specification and Programming}},
year = 1998,
pages = {204-213},
month = sep,
publisher = {Humboldt-Universität zu Berlin},
note = {appeared as Informatik-Berichte Nr. 110} 
}

  • Karsten Schmidt. Symmetrien in der Erreichbarkeitsanalyse. In J. Desel, P. Kemper, E. Kindler, and A. Oberweis, editors, Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 101-106, 1998. Universität Dortmund, Fachbereich Informatik. 

    @InProceedings{ Schmidt1998_awpn,
author = {Karsten Schmidt},
title = {{Symmetrien in der Erreichbarkeitsanalyse}},
editor = {J. Desel and P. Kemper and E. Kindler and A. Oberweis},
booktitle = {{Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze}},
year = 1998,
pages = {101-106},
publisher = {Universität Dortmund, Fachbereich Informatik},
abstract = {Various approaches to incorporate known symmetries of ordinary Petri nets into the reachability analysis are sketched and evaluated.} 
}

Technische Berichte

  • Thomas Baar and Ekkart Kindler. Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen - Eine Vorstudie. Informatik-Berichte 99, Humboldt-Universität zu Berlin, March 1998. 

    @TechReport{ Baark1998_hub_tr99,
author = {Thomas Baar and Ekkart Kindler},
title = {{Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen - Eine Vorstudie}},
institution = {Humboldt-Universität zu Berlin},
year = 1998,
type = {Informatik-Berichte},
number = 99,
month = mar,
keywords = {DAWN} 
}

  • Jens Hauptmann, Bodo Hohberg, Ekkart Kindler, Ines Schwenzer, and Michael Weber. Der Petrinetz-Kern - Dokumentation der Anwendungs-Schnittstelle. Informatik-Berichte 98, Humboldt-Universität zu Berlin, February 1998. icon 

    @TechReport{ HauptmannHKSW1998_hub_tr98,
author = {Jens Hauptmann and Bodo Hohberg and Ekkart Kindler and Ines Schwenzer and Michael Weber},
title = {{Der Petrinetz-Kern - Dokumentation der Anwendungs-Schnittstelle}},
institution = {Humboldt-Universität zu Berlin},
year = 1998,
type = {Informatik-Berichte},
number = 98,
month = feb,
ps = {http://www.informatik.hu-berlin.de/top/download/publications/HauptmannHKSW1998_hub_tr98.ps},
keywords = {Petri Net Kernel} 
}

  • Ekkart Kindler. Database theory - Petri net theory - Workflow theory. Informatik-Berichte 102, Humboldt-Universität zu Berlin, May 1998. icon 

    @TechReport{ Kindler1998_hub_tr102,
author = {Ekkart Kindler},
title = {{Database theory - Petri net theory - Workflow theory}},
institution = {Humboldt-Universität zu Berlin},
year = 1998,
type = {Informatik-Berichte},
number = 102,
month = may,
ps = {http://www.informatik.hu-berlin.de/top/download/publications/Kindler1998_hub_tr102.ps} 


}

  • Wolfgang Reisig. On the structure of DNA Algorithm. Informatik-Berichte 116, Humboldt-Universität zu Berlin, December 1998. 

    @TechReport{ Reisig1998_hub_tr116,
author = {Wolfgang Reisig},
title = {{On the structure of DNA Algorithm}},
institution = {Humboldt-Universität zu Berlin},
year = 1998,
type = {Informatik-Berichte},
number = 116,
month = dec 
}

  • Tobias Vesper and Michael Weber. Validierung eines Petrinetz-basierten Steuerungssystems. Informatik-Berichte 100, Humboldt-Universität zu Berlin, April 1998. icon 

    @TechReport{ VesperW1998_hub_tr100,
author = {Tobias Vesper and Michael Weber},
title = {{Validierung eines Petrinetz-basierten Steuerungssystems}},
institution = {Humboldt-Universität zu Berlin},
year = 1998,
type = {Informatik-Berichte},
number = 100,
month = apr,
ps = {http://www.informatik.hu-berlin.de/top/download/publications/VesperW1998_hub_tr100.ps} 


}

Studien- und Diplomarbeiten

  • Juliane Dehnert and Ines Schwenzer. Dialogmodellierung mit Petrinetzen - Das FAN-Dialogmodell. Diplomarbeit, Humboldt-Universität zu Berlin, August 1998. 

    @MastersThesis{ DehnertS1998_da,
author = {Juliane Dehnert and Ines Schwenzer},
title = {{Dialogmodellierung mit Petrinetzen - Das FAN-Dialogmodell}},
school = {Humboldt-Universität zu Berlin},
year = 1998,
type = {Diplomarbeit},
month = aug 
}

zurück zur Übersicht zurück zur Übersicht

Theorie der Programmierung | Kontakt | XHTML 1.0 | Wed Nov 5 08:30:01 2008