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.
@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},
}
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.
@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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
H. Fleischhack und E. Pelz, "Hierarchical Timed High Level Nets and their Branching Processes." 2003.
@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},
}
H. Fleischhack und E. Pelz, "High Level Branching Processes for High Level Petri Nets" in Proc. High Performances Computing Conference, 2003.
@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},
}
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},
}
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.
@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},
}
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},
}
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},
}
H. Fleischhack und C. Stehno, "Computing a Finite Prefix of a Time Petri Net" in Proc. Application and Theory of Petri Nets, 2002.
@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},
}
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},
}
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},
}
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},
}
B. Bieber und H. Fleischhack, "Model Checking of Time Petri Nets Based on Partial Order Semantics" in Proc. International Conference on Concurrency Theory, 1999.
@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},
}
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.
@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},
}
H. Fleischhack und B. Grahlmann, "A Compositional Petri Net Semantics for SDL" in Proc. Application and Theory of Petri Nets, 1998.
@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},
}
H. Fleischhack und B. Grahlmann, "A Petri Net Semantics for B(PN)² with Procedures" in Proc. Parallel and Distributed Software Engineering, 1997.
@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},
}
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.
@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},
}
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},
}
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},
}
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.
@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},
}
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},
}
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.
@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},
}
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.
@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},
}
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.
@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},
}
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.
@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},
}
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},
}
Dokument aufrufenB. 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.