Navigation

Publikationen von Hans Fleischhack

  • [inproceedings] bibtex
    I. Virbitskaite, H. Fleischhack, und A. Dedova, "Real arithmetic based verification of prioritized time Petri nets with parameters," in Proc. Bulletin of the Novosibirsk Computing Center, 2010, pp. 179-193.
    @INPROCEEDINGS{VFD10,
      author = {Irina Virbitskaite and Hans Fleischhack and Anna Dedova},
      title = {{Real arithmetic based verification of prioritized time Petri nets with parameters}},
      year = {2010},
      booktitle = {Bulletin of the Novosibirsk Computing Center},
      pages = {179--193},
      publisher = {NNC publisher},
      series = {Computer Science, Special Issue},
      volume = {31},
      language = {english},
      publists = {fleichhack},
      }
  • [inproceedings] bibtex
    C. Eichner, H. Fleischhack, R. Meyer, U. Schrimpf, und C. Stehno, "Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets," in Proc. SDL 2005: Model Driven, 2005, pp. 133-148.
    @INPROCEEDINGS{sdl05,
      author = {Christoph Eichner and Hans Fleischhack and Roland Meyer and Ulrik Schrimpf and Christian Stehno},
      title = {{Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets}},
      editor = {Andreas Prinz and Rick Reed and Jeanne Reed},
      year = {2005},
      booktitle = {SDL 2005: Model Driven},
      pages = {133--148},
      publisher = {Springer},
      series = {Lecture Notes in Computer Science},
      volume = {3530},
      language = {english},
      }
  • [inproceedings] bibtex
    H. Fleischhack, S. Gronewold, und H. Burchard, "Arbeitsbelastung von Informatikstudierenden an der Universität Oldenburg," in Proc. Workshop über Leistungspunkte und Modulmanagement, Leipzig, 2004.
    @INPROCEEDINGS{leistmod04,
      author = {Hans Fleischhack and Sabine Gronewold and Heiko Burchard},
      title = {{Arbeitsbelastung von Informatikstudierenden an der Universität Oldenburg}},
      editor = {S. Gerber, H.-P. Schütz},
      year = {2004},
      address = {Leipzig},
      booktitle = {Workshop über Leistungspunkte und Modulmanagement},
      language = {ngerman},
      }
  • [techreport] bibtex
    E. Best, H. Fleischhack, S. Gronewold, T. Scheidsteger, und U. Scheidsteger, "Beiträge zur Entwicklung eines Leistungspunktsystems in Fachbereichen Elektrotechnik und Informatik," Hochschule Bremen2004.
    @TECHREPORT{bfgss04,
      author = {Eike Best and Hans Fleischhack and Sabine Gronewold and Thomas Scheidsteger and Ulrike Scheidsteger},
      title = {{Beiträge zur Entwicklung eines Leistungspunktsystems in Fachbereichen Elektrotechnik und Informatik}},
      editor = {Gerhard Wenke and Heike Tauerschmidt},
      year = {2004},
      booktitle = {Endbericht eines Verbundprojekts der Bund-Länder-Kommission (Verbund 2)},
      institution = {Hochschule Bremen},
      language = {english},
      }
  • [techreport] bibtex
    B. Bennemann, "Begriffsdefinition und Erfassung von Workload im Fach Informatik an der Universität Kiel," BLK-Verbund 2, Oldenburg, In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_4/2004, 2004.
    @TECHREPORT{blk0204,
      author = {Bennemann, Barbara},
      title = {{Begriffsdefinition und Erfassung von Workload im Fach Informatik an der Universität Kiel}},
      editor = {Gerhard Wenke and Hans Fleischhack},
      year = {2004},
      month = {September},
      address = {Oldenburg},
      institution = {BLK-Verbund 2},
      number = {BLK{\_}V2{\_}4/2004},
      pages = {39},
      type = {In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik},
      language = {ngerman},
      publists = {fleischhack},
      }
  • [techreport] bibtex
    B. Bennemann und T. Scheidsteger, "Entwicklung und prototypische Umsetzung einer verteilten heterogenen Moduldatenbank," BLK-Verbund 2, Oldenburg, In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_5/2004, 2004.
    @TECHREPORT{blk0205,
      author = {Bennemann, Barbara and Scheidsteger, Thomas},
      title = {{Entwicklung und prototypische Umsetzung einer verteilten heterogenen Moduldatenbank}},
      editor = {Gerhard Wenke and Hans Fleischhack},
      year = {2004},
      month = {November},
      address = {Oldenburg},
      institution = {BLK-Verbund 2},
      number = {BLK{\_}V2{\_}5/2004},
      pages = {51},
      type = {In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik},
      language = {ngerman},
      publists = {fleischhack},
      }
  • [techreport] bibtex
    I. Sulk, P. Bremer, und S. Gronewold, "Notensysteme - Vorgehen und Probleme bei Umrechnung und Anerkennung," BLK-Verbund 2, Oldenburg, In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_6/2004, 2004.
    @TECHREPORT{blk0206,
      author = {Ingolf Sulk and Peter Bremer and Sabine Gronewold},
      title = {{Notensysteme - Vorgehen und Probleme bei Umrechnung und Anerkennung}},
      editor = {Gerhard Wenke and Hans Fleischhack},
      year = {2004},
      month = {November},
      address = {Oldenburg},
      institution = {BLK-Verbund 2},
      number = {BLK{\_}V2{\_}6/2004},
      pages = {30},
      type = {In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik},
      language = {ngerman},
      publists = {fleischhack},
      }
  • [techreport] bibtex
    B. Bennemann und B. Braßel, "Konzept und prototypische Realisierung eines flexiblen Prüfungsverwaltungssystems," BLK-Verbund 2, Oldenburg, In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_8/2004, 2004.
    @TECHREPORT{blk0208,
      author = {Barbara Bennemann and Bernd Braßel},
      title = {{Konzept und prototypische Realisierung eines flexiblen Prüfungsverwaltungssystems}},
      editor = {Gerhard Wenke and Hans Fleischhack},
      year = {2004},
      month = {Dezember},
      address = {Oldenburg},
      institution = {BLK-Verbund 2},
      number = {BLK{\_}V2{\_}8/2004},
      pages = {26},
      type = {In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik},
      language = {ngerman},
      publists = {fleischhack},
      }
  • B. Bennemann, T. Scheidsteger, und U. Scheidsteger, "Studie zur Modularisierung von Studiengängen und zur Einführung von Leistungspunktesystemen," BLK-Verbund 2, Oldenburg, In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_2/2004, 2004.
    @TECHREPORT{blk0202,
      author = {Bennemann, Barbara and Scheidsteger, Thomas and Scheidsteger, Ulrike},
      title = {{Studie zur Modularisierung von Studiengängen und zur Einführung von Leistungspunktesystemen}},
      editor = {Gerhard Wenke and Hans Fleischhack},
      year = {2004},
      month = {März},
      address = {Oldenburg},
      institution = {BLK-Verbund 2},
      number = {BLK{\_}V2{\_}2/2004},
      pages = {49},
      type = {In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik},
      url = {http://www.informatik.uni-kiel.de/~blk-lp/Studie.pdf},
      language = {ngerman},
      publists = {fleischhack},
      }
  • [techreport] bibtex
    U. Battige und H. Tauerschmidt, "Organisation und Betrieb von internationalen Studiengängen," BLK-Verbund 2, Furtwangen, Oldenburg, In: Gerhard Wenke, Robert Hönl, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_3/2004, 2004.
    @TECHREPORT{blk0203,
      author = {Battige, Ulrich and Tauerschmidt, Heike},
      title = {{Organisation und Betrieb von internationalen Studiengängen}},
      editor = {Gerhard Wenke and Robert Hönl and Hans Fleischhack},
      year = {2004},
      month = {November},
      address = {Furtwangen, Oldenburg},
      institution = {BLK-Verbund 2},
      isbn = {3-00-015089-7},
      number = {BLK{\_}V2{\_}3/2004},
      pages = {100},
      type = {In: Gerhard Wenke, Robert Hönl, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik},
      language = {ngerman},
      publists = {fleischhack},
      }
  • [inproceedings] bibtex
    H. Fleischhack und E. Pelz, "Hierarchical Timed High Level Nets and their Branching Processes." 2003, pp. 397-416.
    @INPROCEEDINGS{flpe03a,
      author = {Hans Fleischhack and Elisabeth Pelz},
      title = {{Hierarchical Timed High Level Nets and their Branching Processes}},
      year = {2003},
      crossref = {bestvdaalst},
      pages = {397--416},
      language = {english},
      }
  • [inproceedings] bibtex
    H. Fleischhack und E. Pelz, "High Level Branching Processes for High Level Petri Nets," in Proc. High Performances Computing Conference, 2003, pp. 246-253.
    @INPROCEEDINGS{flpe03b,
      author = {Hans Fleischhack and Elisabeth Pelz},
      title = {{High Level Branching Processes for High Level Petri Nets}},
      editor = {Ivana Banicescu},
      year = {2003},
      annote = {Orlando},
      booktitle = {{High Performances Computing Conference}},
      pages = {246--253},
      publisher = {SCS},
      language = {english},
      }
  • [proceedings] bibtex
    Applications and Theory of Petri Nets 2003Eindhoven, The Netherlands: Springer, 2003.
    @PROCEEDINGS{bestvdaalst, title = {{Applications and Theory of Petri Nets 2003}},
      editor = {Eike Best and Wil van der Aalst},
      year = {2003},
      address = {Eindhoven, The Netherlands},
      isbn = {3-540-57208-2},
      pages = {508},
      publisher = {Springer},
      series = {Lecture Notes in Computer Science},
      volume = {2679},
      language = {english},
      publists = {best,fleischhack},
      }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    E. Pelz und H. Fleischhack, "Compositional High Level Petri Nets with Timing Constraints---a Comparison," in Proc. Application of Concurrency to System Design, Guimaraes, Portugal, 2003, pp. 132-141.
    @INPROCEEDINGS{flpe03c,
      author = {Elisabeth Pelz and Hans Fleischhack},
      title = {{Compositional High Level Petri Nets with Timing Constraints---a Comparison}},
      editor = {},
      year = {2003},
      address = {Guimaraes, Portugal},
      booktitle = {Application of Concurrency to System Design},
      pages = {132--141},
      publisher = {IEEE Computer Society},
      series = {},
      url = {http://csdl.computer.org/dl/proceedings/acsd/2003/1887/00/18870132.pdf},
      volume = {},
      language = {english},
      }
  • B. Bennemann, P. Bremer, T. Scheidsteger, und U. Scheidsteger, "Umfrage zu Bachelor- und Master-Studiengängen in der Informatik," BLK-Verbund 2, Oldenburg, In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik BLK_V2_1/2003, 2003.
    @TECHREPORT{blk0201,
      author = {Bennemann, Barbara and Bremer, Peter and Scheidsteger, Thomas and Scheidsteger, Ulrike},
      title = {{Umfrage zu Bachelor- und Master-Studiengängen in der Informatik}},
      editor = {Gerhard Wenke and Hans Fleischhack},
      year = {2003},
      month = {Dezember},
      address = {Oldenburg},
      institution = {BLK-Verbund 2},
      number = {BLK{\_}V2{\_}1/2003},
      pages = {34},
      type = {In: Gerhard Wenke, Hans Fleischhack (Herausgeber) Entwicklung eines Leistungspunktesystems in den Fachbereichen Elektrotechnik und Informatik},
      url = {http://www.informatik.uni-kiel.de/~blk-lp/Fragebogenauswertung.pdf},
      language = {ngerman},
      publists = {fleischhack},
      }
  • [techreport] bibtex
    H. Fleischhack und E. Pelz, "Hierarchical Timed High Level Nets and their Branching Processes," University of Paris XII Val-de-Marne, Paris, LACL-2002-19, 2002.
    @TECHREPORT{fleischhack02hierarchical,
      author = {Hans Fleischhack and Elisabeth Pelz},
      title = {{Hierarchical Timed High Level Nets and their Branching Processes}},
      year = {2002},
      address = {Paris},
      institution = {University of Paris XII Val-de-Marne},
      number = {LACL-2002-19},
      language = {english},
      }
  • [techreport] bibtex
    H. Fleischhack und E. Pelz, "High Level Branching Processes for High Level Petri Nets," University of Paris XII Val-de-Marne, Paris, LACL-2002-18, 2002.
    @TECHREPORT{fleischhack02high,
      author = {Hans Fleischhack and Elisabeth Pelz},
      title = {{High Level Branching Processes for High Level Petri Nets}},
      year = {2002},
      address = {Paris},
      institution = {University of Paris XII Val-de-Marne},
      number = {LACL-2002-18},
      language = {english},
      }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Fleischhack und C. Stehno, "Computing a Finite Prefix of a Time Petri Net," in Proc. Application and Theory of Petri Nets, 2002, pp. 163-181.
    @INPROCEEDINGS{fleischhack02computing,
      author = {Hans Fleischhack and Christian Stehno},
      title = {{Computing a Finite Prefix of a Time Petri Net}},
      editor = {Javier Esparza and Charles Lakos},
      year = {2002},
      booktitle = {Application and Theory of Petri Nets},
      pages = {163--181},
      publisher = {Springer},
      series = {Lecture Notes in Computer Science},
      url = {http://parsys.Informatik.Uni-Oldenburg.DE/~hybrid/paper/newtimeunf.ps.gz},
      volume = {2360},
      language = {english},
      }
  • [techreport] bibtex
    H. Fleischhack und E. Pelz, "Causal Boxes and Hierarchical Timed Boxes," University of Paris XII Val-de-Marne, Paris, LACL-2001-06, 2001.
    @TECHREPORT{fleischhack01causal,
      author = {Hans Fleischhack and Elisabeth Pelz},
      title = {{Causal Boxes and Hierarchical Timed Boxes}},
      year = {2001},
      address = {Paris},
      institution = {University of Paris XII Val-de-Marne},
      number = {LACL-2001-06},
      language = {english},
      }
  • [inproceedings] bibtex
    H. Fleischhack und E. Pelz, "Partial Order based Model Checking with data Types," in Proc. Proc. of Logic Colloquium 2000, Paris, 2000.
    @INPROCEEDINGS{fleischhack00partial,
      author = {Hans Fleischhack and Elisabeth Pelz},
      title = {{Partial Order based Model Checking with data Types}},
      year = {2000},
      address = {Paris},
      booktitle = {Proc. of Logic Colloquium 2000},
      language = {english},
      }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    E. Best, H. Burchard, H. Fleischhack, A. Hackmann, E. Kretschmann, S. Kühnapfel, und A. Rakow, "Simulation of DNA-Computing," in Proc. Proceedings of DNA6, 2000, p. 249.
    @INPROCEEDINGS{best00simulation,
      author = {Eike Best and Heiko Burchard and Hans Fleischhack and Andr{\`e} Hackmann and Ernst Kretschmann and Stefan Kühnapfel and Astrid Rakow},
      title = {{Simulation of DNA-Computing}},
      editor = {Anne Condon and Gregorz Rozenberg},
      year = {2000},
      booktitle = {Proceedings of DNA6},
      pages = {249},
      series = {Lecture Notes in Computer Science},
      url = {http://parsys.informatik.uni-oldenburg.de/~best/publications/leiden.ps},
      volume = {2054},
      language = {english},
      }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    B. Bieber und H. Fleischhack, "Model Checking of Time Petri Nets Based on Partial Order Semantics," in Proc. International Conference on Concurrency Theory, 1999, pp. 210-225.
    @INPROCEEDINGS{bieber99model,
      author = {Burkhard Bieber and Hans Fleischhack},
      title = {{Model Checking of Time Petri Nets Based on Partial Order Semantics}},
      editor = {Jos C.M. Baeten and Sjouke Mauw},
      year = {1999},
      annote = {Eindhoven, August 1999},
      booktitle = {International Conference on Concurrency Theory},
      pages = {210--225},
      publisher = {Springer},
      series = {Lecture Notes in Computer Science},
      url = {http://parsys.informatik.uni-oldenburg.de/~max/paper/pap.ps.gz},
      volume = {1664},
      language = {english},
      }
  • [inproceedings] bibtex
    H. Fleischhack und B. Grahlmann, "Towards Compositional Verification of SDL Systems," in Proc. Proceedings of 31st HICSS (Hawaii International Conference on System Science)---Software Technology Track, 1998, pp. 404-414.
    @INPROCEEDINGS{fleischhack98towards,
      author = {Hans Fleischhack and Bernd Grahlmann},
      title = {{Towards Compositional Verification of SDL Systems}},
      year = {1998},
      month = {jan},
      booktitle = {{Proceedings of 31st HICSS (Hawaii International Conference on System Science)---Software Technology Track}},
      pages = {404 -- 414},
      publisher = {IEEE Computer Society},
      language = {english},
      }
  • [inproceedings] bibtex
    H. Fleischhack und B. Grahlmann, "A Compositional Petri Net Semantics for SDL," in Proc. Application and Theory of Petri Nets, 1998, pp. 144-164.
    @INPROCEEDINGS{fleischhack98compositional,
      author = {Hans Fleischhack and Bernd Grahlmann},
      title = {{A Compositional Petri Net Semantics for SDL}},
      editor = {J. Desel and M. Silva},
      year = {1998},
      booktitle = {Application and Theory of Petri Nets},
      pages = {144--164},
      publisher = {Springer},
      series = {Lecture Notes in Computer Science},
      volume = {1420},
      language = {english},
      }
  • H. Fleischhack und B. Grahlmann, "A Compositional Petri Net Semantics for SDL," Universität Hildesheim, 18/97, 1997.
    @TECHREPORT{fleischhack97compositional,
      author = {Hans Fleischhack and Bernd Grahlmann},
      title = {{A Compositional Petri Net Semantics for SDL}},
      year = {1997},
      institution = {Universität Hildesheim},
      number = {18/97},
      url = {http://parsys.informatik.uni-oldenburg.de/~pep/Paper/SDL_HIB_grahlmann_fleischhack.ps.gz},
      language = {english},
      }
  • [inproceedings] bibtex
    H. Fleischhack und B. Grahlmann, "A Petri Net Semantics for B(PN)² with Procedures," in Proc. Parallel and Distributed Software Engineering, 1997, pp. 15-27.
    @INPROCEEDINGS{fleischhack97petri,
      author = {Hans Fleischhack and Bernd Grahlmann},
      title = {{A Petri Net Semantics for B(PN)² with Procedures}},
      year = {1997},
      month = {may},
      booktitle = {Parallel and Distributed Software Engineering},
      pages = {15--27},
      publisher = {IEEE Computer Society},
      language = {english},
      }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Fleischhack und J. Tapken, "An M-Net Semantics for a Real-Time Extension of μSDL," in Proc. FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997), 1997, pp. 162-181.
    @INPROCEEDINGS{fleischhack97mnet,
      author = {Hans Fleischhack and Josef Tapken},
      title = {{An M-Net Semantics for a Real-Time Extension of {μSDL}}},
      editor = {John Fitzgerald and Cliff B. Jones and Peter Lucas},
      year = {1997},
      booktitle = {FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997)},
      pages = {162--181},
      publisher = {Springer},
      series = {Lecture Notes in Computer Science},
      url = {http://semantik.informatik.uni-oldenburg.de/pub/Papers/hfjt97.ps.gz},
      volume = {1313},
      language = {english},
      }
  • [techreport] bibtex
    P. Amthor, H. Fleischhack, und J. Tapken, "MOBY -- More than a Tool for the Verification of SDL-Specifications," Fachbereich Informatik, Carl von Ossietzky Universität Oldenburg1996.
    @TECHREPORT{amthor96moby,
      author = {Peter Amthor and Hans Fleischhack and Josef Tapken},
      title = {{MOBY -- More than a Tool for the Verification of SDL-Specifications}},
      year = {1996},
      institution = {Fachbereich Informatik, Carl von Ossietzky Universität Oldenburg},
      language = {english},
      }
  • [techreport] bibtex
    H. Fleischhack und B. Grahlmann, "A Petri Net Semantics for B(PN)² with Procedures which Allows Verification," Universität Hildesheim, Hildesheimer Informatik-Berichte 21/96, 1996.
    @TECHREPORT{fleischhack96petri,
      author = {Hans Fleischhack and Bernd Grahlmann},
      title = {{A Petri Net Semantics for B(PN)² with Procedures which Allows Verification}},
      year = {1996},
      month = {jul},
      institution = {Universität Hildesheim},
      number = {21/96},
      type = {Hildesheimer Informatik-Berichte},
      language = {english},
      }
  • E. Best und H. Fleischhack, "PEP: Programming Environment Based on Petri Nets, Workshop, October 11-12, 1994, HU Berlin," Universität Hildesheim, 14/95, 1995.
    @TECHREPORT{best95pep,
      author = {Eike Best and Hans Fleischhack},
      title = {{PEP: Programming Environment Based on Petri Nets, Workshop, October 11-12, 1994, HU Berlin}},
      year = {1995},
      institution = {Universität Hildesheim},
      number = {14/95},
      url = {http://parsys.informatik.uni-oldenburg.de/~pep/Paper/Berlin_HIB.ps.gz},
      language = {english},
      }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    E. Best, H. Fleischhack, W. Frączak, R. P. Hopkins, H. Klaudel, und E. Pelz, "An M-net Semantics of B(PN)²," in Proc. Structures in Concurrency Theory, 1995, pp. 85-100.
    @INPROCEEDINGS{best95mnet,
      author = {Eike Best and Hans Fleischhack and Wojciech Frączak and Richard P. Hopkins and Hanna Klaudel and Elisabeth Pelz},
      title = {{An M-net Semantics of B(PN)²}},
      editor = {Jörg Desel},
      year = {1995},
      booktitle = {Structures in Concurrency Theory},
      pages = {85--100},
      publisher = {Springer},
      url = {http://parsys.informatik.uni-oldenburg.de/~best/publications/mbpn2.ps.gz},
      language = {english},
      }
  • [inproceedings] bibtex
    H. Fleischhack und J. Tapken, "Eine kompositionelle Petrinetz-Semantik für SDL-Spezifikationen," in Proc. 2. Workshop Algorithmen und Werkzeuge für Petrinetze, 1995.
    @INPROCEEDINGS{fleischhack95kompositionelle,
      author = {Hans Fleischhack and Josef Tapken},
      title = {{Eine kompositionelle Petrinetz-Semantik für SDL-Spezifikationen}},
      editor = {J. Desel and Hans Fleischhack and A. Oberweis and Michael Sonnenschein},
      year = {1995},
      booktitle = {2. Workshop Algorithmen und Werkzeuge für Petrinetze},
      number = {22},
      organization = {Fachbereich Informatik},
      publisher = {Universität Oldenburg},
      series = {AIS reports},
      language = {ngerman},
      }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    E. Best, H. Fleischhack, W. Frączak, R. P. Hopkins, H. Klaudel, und E. Pelz, "A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)²," in Proc. Application and Theory of Petri Nets, 1995, pp. 103-120.
    @INPROCEEDINGS{best95class,
      author = {Eike Best and Hans Fleischhack and Wojciech Frączak and Richard P. Hopkins and Hanna Klaudel and Elisabeth Pelz},
      title = {{A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)²}},
      editor = {Giorgio De Michelis and Michel Diaz},
      year = {1995},
      booktitle = {Application and Theory of Petri Nets},
      pages = {103--120},
      publisher = {Springer},
      series = {Lecture Notes in Computer Science},
      url = {http://parsys.informatik.uni-oldenburg.de/~best/publications/mnet.ps.gz},
      volume = {935},
      language = {english},
      }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    B. Grahlmann, M. Moeller, und U. Anhalt, "A New Interface for the PEP Tool---Parallel Finite Automata---," in Proc. 2. Workshop Algorithmen und Werkzeuge für Petrinetze, 1995, pp. 21-26.
    @INPROCEEDINGS{grahlmann95new,
      author = {Bernd Grahlmann and Matthias Moeller and Ulrich Anhalt},
      title = {{A New Interface for the PEP Tool---Parallel Finite Automata---}},
      editor = {J. Desel and H. Fleischhack and A. Oberweis and M. Sonnenschein},
      year = {1995},
      booktitle = {2. Workshop Algorithmen und Werkzeuge für Petrinetze},
      institution = {FB Informatik, Universität Oldenburg},
      pages = {21--26},
      series = {AIS},
      url = {http://parsys.informatik.uni-oldenburg.de/~pep/Paper/pfa2bpn2_oldenburg.ps.gz},
      volume = {22},
      language = {english},
      }
  • [inproceedings] bibtex
    A. Gronewold und H. Fleischhack, "Computing Petri Net Languages by Reductions," in Proc. Proceedings on the 10th International Conference on Fundamentals of computation theory (FCT'95) (Dresden, Germany, August 1995), 1995, pp. 253-262.
    @INPROCEEDINGS{gronewold95computing,
      author = {A. Gronewold and Hans Fleischhack},
      title = {{Computing {Petri} Net Languages by Reductions}},
      editor = {Horst Reichel},
      year = {1995},
      booktitle = {Proceedings on the 10th International Conference on Fundamentals of computation theory (FCT'95) (Dresden, Germany, August 1995)},
      pages = {253--262},
      publisher = {Springer},
      series = {Lecture Notes in Computer Science},
      volume = {965},
      language = {english},
      publists = {fleischhack},
      }
  • [inproceedings] bibtex
    H. Fleischhack und U. Lichtblau, "MOBY---A tool for high level Petri Nets with objects," in Proc. Proceedings of the IEEE-SMC'93-Conference (Le Touquet, France, 1993), 1993, pp. 644-649.
    @INPROCEEDINGS{fleischhack93moby,
      author = {Hans Fleischhack and Ulrike Lichtblau},
      title = {{MOBY---A tool for high level Petri Nets with objects}},
      year = {1993},
      booktitle = {Proceedings of the IEEE-SMC'93-Conference (Le Touquet, France, 1993)},
      pages = {644--649},
      language = {english},
      }
  • [inproceedings] bibtex
    H. Fleischhack, U. Lichtblau, M. Sonnenschein, und R. Wieting, "Abstraktion und Zeitbegriff in höheren Netzen," in Proc. Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, Berlin [u.a.], 1993.
    @INPROCEEDINGS{fleischhack93abstraktion,
      author = {Hans Fleischhack and Ulrike Lichtblau and Michael Sonnenschein and Ralf Wieting},
      title = {{Abstraktion und Zeitbegriff in höheren Netzen}},
      editor = {G. Scheschonk},
      year = {1993},
      address = {Berlin [u.a.]},
      booktitle = {Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen},
      language = {ngerman},
      }
Webmastnkcjer (mawcd4srco.wwv/grawunder@deuol.de) (Stand: 07.11.2019)