Navigation

Skiplinks

Contact

Publications 1987–1999

[BR99] Eike Best and Kerstin M. Richter. Relational semantics revisited. Berichte aus dem Fachbereich Informatik 2/99, Universität Oldenburg, February 1999. [.ps.gz]

[BDK99c] Eike Best, Raymond Devillers, and Maciej Koutny. Recursion in the box algebra. Berichte aus dem fachbereich informatik, Universität Oldenburg, 1999. 38 pages.

[BDK99b] Eike Best, Raymond Devillers, and Maciej Koutny. The Box Algebra = Petri Nets + Process Expressions. Berichte aus dem Fachbereich Informatik 14/99, Universität Oldenburg, 1999. 45 pages. [.ps.gz]

[BDK99a] Eike Best, Raymond Devillers, and Maciej Koutny. The Box Algebra - a Model of Nets and Process Expressions. In Susanna Donatelli and H.C.J.M. (Jetty) Kleijn, editors, Application and Theory of Petri Nets '99, volume 1630 of Lecture Notes in Computer Science, pages 344-363, 1999.

[BK99] Eike Best and Maciej Koutny. Fundamental Study: Operational and Denotational Semantics for the Box Algebra. Theoretical Computer Science, 211:1-83, 1999.

[BL99c] Eike Best and Alexander Lavrov. Weak and Strong Composition of High-Level Petri Nets. In Jos C.M. Baeten and Sjouke Mauw, editors, International Conference on Concurrency Theory (CONCUR'99), volume 1664 of Lecture Notes in Computer Science, pages 194-209. Springer-Verlag, 1999.

[BL99b] Eike Best and Alexander Lavrov. Generalised Composition Operations for High-Level Petri Nets. Berichte aus dem Fachbereich Informatik 10/99, Universität Oldenburg, 1999. 78 pages.

[BL99a] Eike Best and Alexander Lavrov. Generalised Composition Operations for High-level Petri Nets. Fundamenta Informaticae, 40(2-3):125-163, 1999. [.ps]

[BF99] Burkhard Bieber and Hans Fleischhack. Model Checking of Time Petri Nets Based on Partial Order Semantics. In Jos C.M. Baeten and Sjouke Mauw, editors, International Conference on Concurrency Theory, volume 1664 of Lecture Notes in Computer Science, pages 210-225. Springer-Verlag, 1999. [.ps.gz]

[Gra99] Bernd Grahlmann. The State of PEP. In Armando Martin Haeberer, editor, Algebraic Methodology and Software Technology, volume 1548 of Lecture Notes in Computer Science, pages 522-526. Springer-Verlag, 1999. [.ps.gz]

[KB99] Maciej Koutny and Eike Best. Operational and Denotational Semantics for the Box Algebra. Theoretical Computer Science, 211(1-2):1-83, 1999. [.ps.gz]

[LSL99] Alexander Lavrov, Alexei Sigal, and Oleg Lisovichenko. Composing Net-based Models of FMS. New Solutions in Modern Technologies, 58:32-34, 1999. In Ukrainian.

[Lav99e] Alexander Lavrov. Models of Fuzziness and Nondeterminism: Joint Use in Discrete Event System Control. In M.Mohammadian, editor, Computational Intelligence for Modelling, Control & Automation, pages 359-365. IOS Press, 1999.

[Lav99d] Alexander Lavrov. M-Nets with Basis in Compositional Modeling of CIM. In G.E.Lasker, editor, Advances in Computer Cybernetics, volume VII, pages 34-40, Canada, 1999. IIAS. Also published in: Advances in Artificial Intelligence and Engineering Cybernetics, Vol. VI (Ed. G.E.Lasker), 28-33.

[Lav99c] Alexander Lavrov. Hybrid Techniques in Discrete-Event System Modelling and Control: Some Examples. Berichte aus dem Fachbereich Informatik 12/99, Universität Oldenburg, 1999. 16 pages.

[Lav99b] Alexander Lavrov. Fuzzy Extension of the Petri Box Calculus for Modelling of Manufacturing Systems. In N. Mastorakis, editor, Computational Intelligence and Applications, pages 78-84. WSES, Singapore, 1999.

[Lav99a] Alexander Lavrov. Enhancing Mixed Nonlinear Optimization: A Hybrid Approach. Berichte aus dem Fachbereich Informatik 11/99, Universität Oldenburg, 1999. 15 pages.

[LY99b] Alexander Lavrov and Leonid Yampolsky. Net-based Models of Control Flows in Modular Reactive Systems. Problems of New Machines and Technologies Development, 7(2):242-252, 1999. In Russian.

[LY99a] Alexander Lavrov and Leonid Yampolsky. Functional-Equivalent Transformations of Structural Models of FMS. System Technologies (Special issue ''System Modelling of Technological Processes''), (6):84-90, 1999. In Ukrainian.

[LLY99] Alexander Lavrov, Oleg Lisovichenko, and Leonid Yampolsky. Learning and Two-level Fuzzy Optimisation in Development of Computer-Integrated Systems. Radioelectronics, Informatics and Control, (2):114-120, 1999. In Russian.

[Wil99] Elke Wilkeit. The Monoid and the Band of a Petri Net. In Chrystopher L. Nehaniv and Masami Ito, editors, Algebraic Engineering, pages 61-76, Singapore, New Jersey, London, Hong Kong, 1999. World Scientific Publ. Co.

[SL99] Michael Schenke and Alexander Lavrov. Automata-based Stochastic Analysis of Modular Hybrid Controllers. In Jos C.M. Baeten and Sjouke Mauw, editors, International Conference Probabilistic Analysis of Rare Events: Theory and Problems of Safety, Insurance and Ruin (RareEvents'99), volume 1664 of Lecture Notes in Computer Science, pages 233-238. Springer-Verlag, 1999.

[Ste99] Christian Stehno. Beschreibung des box-Compilers. Studienarbeit, Abteilung Parallele Systeme, Fachbereich Informatik, Universität Oldenburg, 1999.

[Thi99] Thomas Thielke. Linear-algebraische Methoden zur Beschreibung, Verfeinerung und Analyse gefärbter Petrinetze. PhD thesis, Universität Oldenburg, 1999.

[YLLS99] Leonid Yampolsky, Alexander Lavrov, Oleg Lisovichenko, and Alexei Sigal. Simulation and control automation issues in flexible heterogoneous distributed assembly systems. Adaptive Automatic Control Systems, 22(2):53-73, 1999. In Ukrainian.

[BFH+98]

Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, and Elisabeth Pelz. M-nets: an Algebra of High-level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica, 35(10):813-857, 1998. [.ps.gz]

[BG98] Eike Best and Bernd Grahlmann. PEP Documentation and User Guide, Version 1.8. Universität Oldenburg, 1998. [.ps.gz]

[BDK98] Eike Best, Raymond Devillers, and Maciej Koutny. Petri Nets, Process Algebras and Concurrent Programming Languages. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets II: Applications, volume 1492 of Lecture Notes in Computer Science, pages 1-84. Springer-Verlag, 1998. [.ps.gz]

[FG98b] Hans Fleischhack and Bernd Grahlmann. Towards Compositional Verification of SDL Systems. In Proceedings of 31st HICSS (Hawaii International Conference on System Science) - Software Technology Track, pages 404 - 414. IEEE Computer Society, January 1998.

[FG98a] Hans Fleischhack and Bernd Grahlmann. A Compositional Petri Net Semantics for SDL. In J. Desel and M. Silva, editors, Application and Theory of Petri Nets, volume 1420 of Lecture Notes in Computer Science, pages 144-164. Springer-Verlag, 1998.

[Gra98b] Bernd Grahlmann. Parallel Programs as Petri Nets. PhD thesis, Universität Hildesheim, 1998. 258 pages.

[Gra98a] Bernd Grahlmann. Combining Finite Automata, Parallel Programs and SDL using Petri Nets. In Bernhard Steffen, editor, Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of Lecture Notes in Computer Science, pages 102-117. Springer-Verlag, 1998. [.ps.gz]

[GP98] Bernd Grahlmann and Carola Pohl. Profiting from Spin in PEP. In SPIN Workshop, 1998. [.ps.gz]

[GFK98] Miltos D. Grammatikakis, Eric Fleury, and Miro Kraetzl. Continuous Routing in Packet Switches. International Journal of Foundations of Computer Science, 9(2):121-138, 1998.

[GHKS98] Miltos D. Grammatikakis, D. Frank Hsu, Miro Kraetzl, and Jop F. Sibeyn. Packet Routing in Fixed-Connection Networks: A Survey. Journal of Parallel and Distributed Computing, 54(2):77-132, 1998.

[Lav98b] Alexander Lavrov. Process of mixed nonlinear optimization as subject of optimization. In International Symposium on Computational and Optimization Algorithms, Techniques and Applications, pages 359-366, 1998.

[Lav98a] Alexander Lavrov. On the Fly Constraint Satisfaction in CIM Simulation. In European Simulation Symposium, pages 751-755, 1998.

[PW98] Lutz Priese and Harro Wimmel. A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets. Theoretical Computer Science, 206:219-256, 1998.

[Rie98] Robert Christoph Riemann. Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus. PhD thesis, Universität Hildesheim & Université Paris-Sud U.F.R. Scientifique d'Orsay, 1998. 275 pages.

[FG97b] Hans Fleischhack and Bernd Grahlmann. A Petri Net Semantics for B(PN)2 with Procedures. In Parallel and Distributed Software Engineering, pages 15-27. IEEE Computer Society, May 1997.

[BT97b] Eike Best and Thomas Thielke. Refinement of Coloured Petri Nets. In Bogdan S. Chlebus and Ludwik Czaja, editors, Fundamentals of Computation Theory, volume 1279 of Lecture Notes in Computer Science, pages 105-116, Berlin, Germany, 1997. Springer-Verlag. [.ps.gz]

[BT97a] Eike Best and Thomas Thielke. Orthogonal Transformations for Coloured Petri Nets. In G. Balbo and P. Azéma, editors, Application and Theory of Petri Nets, volume 1248 of Lecture Notes in Computer Science, pages 447-466, Berlin, Germany, 1997. Springer-Verlag. [.ps.gz]

[BdBP97] Eike Best, Frank S. de Boer, and Catuscia Palamidessi. Partial Order and SOS Semantics for Linear Constraint Programs. In David Garlan and Daniel Le Métayer, editors, Coordination Languages and Models, volume 1282 of Lecture Notes in Computer Science, pages 256-273. Springer-Verlag, 1997. [.ps.gz]

[BEG+97]

Eike Best, Javier Esparza, Bernd Grahlmann, Stephan Melzer, Stefan Römer, and Frank Wallner. The PEP verification system. In FEmSys, 1997.

[Wil97] Elke Wilkeit. Darstellungen von Petrinetzen und Halbgruppen. Habilitationsschrift, Carl von Ossietzky Universität Oldenburg, 1997.

[FG97a] Hans Fleischhack and Bernd Grahlmann. A Compositional Petri Net Semantics for SDL. Technical Report 18/97, Universität Hildesheim, 1997. [.ps.gz]

[FT97] Hans Fleischhack and Josef Tapken. An M-Net Semantics for a Real-Time Extension of muSDL. In John Fitzgerald, Cliff B. Jones, and Peter Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997), volume 1313 of Lecture Notes in Computer Science, pages 162-181. Springer-Verlag, 1997. [.ps.gz]

[Gra97c] Burkhard Graves. Computing Reachability Properties Hidden in Finite Net Unfoldings. In S. Ramesh and G. Sivakumar, editors, Foundations of Software Technology and Theoretical Computer Science, volume 1346 of Lecture Notes in Computer Science, pages 327-341. Springer-Verlag, 1997. [.ps.gz]

[Gra97b] Bernd Grahlmann. The Reference Component of PEP. In E. Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems, volume 1217 of Lecture Notes in Computer Science, pages 65-80, Enschede, The Netherlands, 1997. Springer-Verlag. [.ps.gz]

[Gra97a] Bernd Grahlmann. The PEP Tool. In Orna Grumberg, editor, Computer Aided Verification, volume 1254 of Lecture Notes in Computer Science, pages 440-443. Springer-Verlag, 1997. [.ps.gz]

[GKF97] M. Grammatikakis, M. Kraetzl, and E. Fleury. Shortest-Path and Hot-Potato Routing on Unbuffered Toroidal Networks. In IEEE Conf. Global Comm., pages 165-169, 1997.

[Gra96] Bernd Grahlmann. Petri Net File Formats. In J. Desel, E. Kindler, and A. Oberweis, editors, 3. Workshop Algorithmen und Werkzeuge für Petrinetze, number 341 in Berichte des Instituts für angewandte Informatik und Formale Beschreibungsverfahren, pages 21-26. Universität Karlsruhe, October 1996. [.ps.gz]

[FG96] Hans Fleischhack and Bernd Grahlmann. A Petri Net Semantics for B(PN)2 with Procedures which Allows Verification. Hildesheimer Informatik-Berichte 21/96, Universität Hildesheim, July 1996.

[AFT96] Peter Amthor, Hans Fleischhack, and Josef Tapken. Moby - more than a tool for the verification of sdl-specifications. Technical report, Fachbereich Informatik, Carl von Ossietzky Universität Oldenburg, 1996.

[BP96] Eike Best and Catuscia Palamidessi. Linear Constraint Systems as High-Level Nets. In Ugo Montanari and Vladimiro Sassone, editors, CONCUR, volume 1119 of Lecture Notes in Computer Science, pages 498-513. Springer-Verlag, 1996. [.ps.gz]

[Bes96c] Eike Best. Semantics of Sequential and Parallel Programs. International Series in Computer Science. Prentice Hall, 1996. Verbesserte und erweiterte Übersetzung von: Semantik. Theorie sequentieller und paralleler Programmierung, Vieweg-Verlag, 1995.

[Bes96b] Eike Best. Partial Order Verification with PEP. In G. Holzmann, D. Peled, and V. Pratt, editors, Partial Order Methods in Verification, pages 305-328, Princeton, 1996. American Mathematical Society. [.ps.gz]

[Bes96a] Eike Best. A Memory Module Specification Using Composable High-Level Petri Nets. In Manfred Broy, Stephan Merz, and Katharina Spies, editors, Formal Systems Specification, volume 1169 of Lecture Notes in Computer Science, pages 109-159. Springer-Verlag, 1996. [.ps.gz]

[GB96] Bernd Grahlmann and Eike Best. PEP - More than a Petri Net Tool. In Tiziana Margaria and Bernhard Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 1055 of Lecture Notes in Computer Science, pages 397-401. Springer-Verlag, 1996. [.ps.gz]

[Wil96] Elke Wilkeit. Graphs with a Regular Endomorphism Monoid. Arch. Math., 66:344-352, 1996.

[Gra95] Bernd Grahlmann. Verifying Telecommunication Protocols with PEP. In RELECTRONIC, pages 251-256. Scientific Society for Telecommunications, October 1995.

[BFF+95b]

Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, and Elisabeth Pelz. An M-net Semantics of B(PN)2. In Jörg Desel, editor, Structures in Concurrency Theory, pages 85-100. Springer-Verlag, 1995. [.ps.gz]

[BFF+95a]

Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, and Elisabeth Pelz. A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2. In Giorgio De Michelis and Michel Diaz, editors, Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science, pages 103-120. Springer-Verlag, 1995. [.ps.gz]

[BF95] Eike Best and Hans Fleischhack. PEP: Programming Environment Based on Petri Nets, Workshop, October 11-12, 1994, HU Berlin. Technical Report 14/95, Universität Hildesheim, 1995. [.ps.gz]

[BG95] Eike Best and Bernd Grahlmann. PEP Documentation and User Guide Version 1.4. Universität Hildesheim, 1995. [.ps.gz]

[BK95b] Eike Best and Maciej Koutny. Solving recursive net equations. In Zoltán Fülöp and Ferenc Gécseg, editors, Automata, Languages and Programming, volume 944 of Lecture Notes in Computer Science, pages 605-623. Springer-Verlag, 1995. [.ps.gz]

[BK95a] Eike Best and Maciej Koutny. A Refined View of the Box Algebra. In Giorgio De Michelis and Michel Diaz, editors, Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science, pages 1-20. Springer-Verlag, 1995. [.ps.gz]

[FT95] Hans Fleischhack and Josef Tapken. Eine kompositionelle Petrinetz-Semantik für SDL-Spezifikationen. In J. Desel, Hans Fleischhack, A. Oberweis, and Michael Sonnenschein, editors, 2. Workshop Algorithmen und Werkzeuge für Petrinetze, number 22 in AIS reports. Fachbereich Informatik, Universität Oldenburg, 1995.

[GMA95] Bernd Grahlmann, Matthias Moeller, and Ulrich Anhalt. A New Interface for the PEP Tool - Parallel Finite Automata -. In J. Desel, H. Fleischhack, A. Oberweis, and M. Sonnenschein, editors, 2. Workshop Algorithmen und Werkzeuge für Petrinetze, volume 22 of AIS, pages 21-26, 1995. [.ps.gz]

[GF95] A. Gronewold and Hans Fleischhack. Computing Petri Net Languages by Reductions. In Horst Reichel, editor, Proceedings on the 10th International Conference on Fundamentals of computation theory (FCT'95) (Dresden, Germany, August 1995), volume 965 of Lecture Notes in Computer Science, pages 253-262. Springer-Verlag, 1995.

[BMW94] Hans-Jürgen Bandelt, Henry Martin Mulder, and Elke Wilkeit. Quasimedian Graphs and Algebras. J. Graph Theory, 18:681-703, 1994.

[BH93] Eike Best and Richard P. Hopkins. B(PN)2 - a Basic Petri Net Programming Notation. In Arndt Bode, Mike Reeve, and Gottfried Wolf, editors, PARLE, volume 694 of Lecture Notes in Computer Science, pages 379-390. Springer-Verlag, 1993.

[FLSWt93] Hans Fleischhack, Ulrike Lichtblau, Michael Sonnenschein, and Ralf Wieting. Abstraktion und Zeitbegriff in höheren Netzen. In G. Scheschonk, editor, Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, Berlin [u.a.], 1993.

[FL93] Hans Fleischhack and Ulrike Lichtblau. MOBY - A tool for high level Petri Nets with objects. In Proceedings of the IEEE-SMC'93-Conference (Le Touquet, France, 1993), pages 644–649, 1993.

[BE92] Eike Best and Javier Esparza. Model Checking of Persistent Petri Nets. In 5th Workshop Computer Science Logic, volume 626 of Lecture Notes in Computer Science, pages 35-52. Springer-Verlag, 1992.

[Wil92] Elke Wilkeit. The Retracts of Hamming Graphs. Discrete Math., 102:197–218, 1992.

[Wil90] Elke Wilkeit. Isometric embeddings in Hamming graphs. J. Combin. Theory, Ser. B, 50:179–197, 1990.

[BW87] Hans-Jürgen Bandelt and Elke Wilkeit. Dwarf, Brick, and Triangulation of the Torus. Discrete Math., 67:1–14, 1987.

Webmastersc (marctlh6co.grjiawunder@uwlol.de) (Changed: 2018-11-01)