Parallele Systeme

Ausgewählte Veröffentlichungen

Citeseer logo Include Citations
[BW12]
Eike Best and Harro Wimmel. Structure Theory of Petri Nets. In Proc. of the Fifth Advanced Course on Petri Nets, Rostock, 2010, Computer Science, Special Issue. Springer Verlag (to appear), 2012. 51 pages.

[BD12]
Eike Best and Philippe Darondeau. Deciding Selective Declassification of Petri Nets. In Pierpaolo Degano and Joshua D. Guttman, editors, Principles of Security and Trust, First International Conference, POST 2012 (held as part of ETAPS 2012, Tallinn), volume 7215 of ARCoSS/LNCS, pages 290-308. Springer, 2012. ISBN 978-3-642-28640-7, doi:10.1007/978-3-642-28641-4_16.

[OVB11b]
Elena Oshevskaya, Irina Virbitskaite, and Eike Best. Relating Categorical Semantics for Higher Dimensional Automata. In Marcin Szczuka, Ludwik Czaja, Andrzej Skowron, and Magdalena Kacprzak, editors, Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'2011), pages 385-396, Pultusk, 28-30 September 2011. Technical Report, Bialystok University of Technology.

[OVB11a]
Elena Oshevskaya, Irina Virbitskaite, and Eike Best. A Categorical View of Bisimulation for Higher Dimensional Automata. In Paul Pettersson and Cristina Seceleanu, editors, Proceedings of the 23rd Nordic Workshop on Programming Theory, pages 102-104, Västeras, Sweden, October 26-28 2011. Technical Report 254/2011, Mälalardalen University.

[BD11b]
Eike Best and Philippe Darondeau. A Puzzle on Parikh and Language Equivalences. Petri Net Newsletter, Oct. 2011. 3 pages.

[BD11c]
Eike Best and Philippe Darondeau. Separability in Persistent Petri Nets. Fundamenta Informaticae, 112:1-25, 2011. DOI 10.3233/FI-2011-566.

[BD11a]
Eike Best and Philippe Darondeau. Petri Net Distributability. In Irina Virbitskaite and Andrei Voronkov, editors, Proc. PSI'11 (Ershov Informatics Conference), Novosibirsk, volume 7162 of LNCS, pages 1-18, Berlin, Heidelberg, 2011. Springer-Verlag.

[VFD10]
Irina Virbitskaite, Hans Fleischhack, and Anna Dedova. Real arithmetic based verification of prioritized time Petri nets with parameters. In Bulletin of the Novosibirsk Computing Center, volume 31 of Computer Science, Special Issue, pages 179-193. NNC publisher, 2010.

[BDG10]
Eike Best, Philippe Darondeau, and Roberto Gorrieri. On the Decidability of Non Interference over Unbounded Petri Nets. In Konstantinos Chatzikokolakis and Véronique Cortier, editors, Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo, volume 51 of EPTCS, pages 16-33, 2010. http://dx.doi.org/10.4204/EPTCS.51.2.

[BGK10]
S. Boll, S. Gronewold, and L. Krekeler. Informatik für Migrantinnen und Migranten - Einführung eines neuen Studienprogramms an der Universität Oldenburg. Paderborn, Germany, December 9-10, 2010. 4. Fachtagung Hochschuldidaktik Informatik, HDI. (6 Seiten).

[BMGK10]
S. Boll, R. Meinhardt, S. Gronewold, and L. Krekeler. Mit Information über Integration zur Informatik - Studienprogramm "Informatik für Migrantinnen und Migranten". Number 4/2010, pages 56-61. Forum InformatikerInnen für Frieden und gesellschaftliche Verantwortung e. V. (FIfF Kommunikation), 2010.

[VGB10]
Irina Virbitskaite, Natalya Gribovskaya, and Eike Best. A Categorical View of Timed Behaviours. Fundamenta Informaticae, 102(1), 2010. 129-143.

[BD10]
Eike Best and Philippe Darondeau. Separability in Persistent Petri Nets. In J. Lilius and W. Penczek, editors, Petri Nets 2010, volume 6128 of LNCS, pages 246-266, Berlin, Heidelberg, 2010. Springer-Verlag.

[BD09b]
Eike Best and Philippe Darondeau. Separability in Persistent Petri Nets. Number 03/09 in Berichte aus dem Department für Informatik, pages 1-25. Universität Oldenburg, November 2009.
[ .pdf ]

[BD09a]
Eike Best and Philippe Darondeau. A Decomposition Theorem for Finite Persistent Transition Systems. Acta Informatica, 46(3):237-254, May 2009.

[BS09]
Eike Best and Kerstin Strecker. Relational Semantics Revisited. Electronic Notes in Theoretical Computer Science, 229:27-47, 2009.

[BD09c]
Eike Best and Jörg Desel. On the Reducibility of Persistent Petri Nets. In Kamal Lodaya, Madhavan Mukund, and R. Ramanujam, editors, Perspectives in Concurrency Theory (Festschrift for P. S. Thiagarajan), pages 22-34. Universities Press, Indian Association for Research in Computer Science, 2009.

[Die08c]
Malte Diehl. Secure Covert Channels in Multiplayer Games. In MM&Sec '08: Proceedings of the 10th ACM Workshop on Multimedia and Security, pages 117-122, New York, NY, USA, 2008. ACM.

[Die08a]
Malte Diehl. Geographic Data and Steganography. In Proceedings of SECRYPT 2008, International Conference on Security and Cryptography, pages 381-387, Porto, Portugal, 2008.

[Die08d]
Malte Diehl. Steganography as a Serious Alternative to Cryptography. In Proceedings des gemeinsamen Workshops der Graduiertenkollegs 2008, Trustworthy Software Systems, pages 21-22. GITO-Verlag, 2008.

[DLMS08]
Malte Diehl, Henrik Lipskoch, Roland Meyer, and Christian Storm, editors. Proceedings des gemeinsamen Workshops der Graduiertenkollegs 2008: 19.-21. Mai 2008, Dagstuhl, Trustworthy Software Systems, Berlin, 2008. GITO-Verlag.

[Die08b]
Malte Diehl. Kryptographiegesetzgebung im Wandel. Von begrenzten Schlüssellängen zur Schlüsselherausgabe. In Datenschutz und Datensicherheit, volume 04, pages 243-247, 2008.

[Bes08]
Eike Best. A Note on Persistent Petri Nets. In P. Degano et al., editor, Montanari Festschrift, volume 5065 of LNCS, pages 427-438, Berlin, Heidelberg, 2008. Springer.

[BD08]
Eike Best and Philippe Darondeau. Decomposition Theorems for Bounded Persistent Petri Nets. In K.M. van Hee and R. Valk, editors, PETRI NETS 2008, volume 5062 of LNCS, pages 33-51, Berlin, Heidelberg, 2008. Springer.

[BR08]
Eike Best and Astrid Rakow. A Slicing Technique for Business Processes. In Kaschek, Kop, Steinberger, and Fliedl, editors, UNISCON 2008, LNBIP 5, pages 45-51. Springer-Verlag, 2008.

[Wim08]
Harro Wimmel. Entscheidbarkeitsfragen bei Petri-Netzen. Habilitationsschrift, Carl von Ossietzky Universität Oldenburg, 2008.

[BDW07]
Eike Best, Philippe Darondeau, and Harro Wimmel. Making Petri Nets Safe and Free of Internal Transitions. Fundamenta Informaticae, 80:75-90, 2007.

[Rak07]
Astrid Rakow. Slicing Petri Nets. Technical report, Carl von Ossietzky Universität Oldenburg, 2007.
[ .pdf ]

[SS06]
Tim Strazny and Christian Stehno. Ein Simulator für mehrfach erweiterte höhere Petrinetze. In Matthias Becker and Helena Szczerbicka, editors, 19. Symposium Simulationstechnik (ASIM 2006), Frontiers in Simulation, pages 171-176. SCS Publishing House e.V., September 2006.

[BEWW06]
Eike Best, Javier Esparza, Harro Wimmel, and Karsten Wolf. Separability in Conflict-free Petri Nets. In I. Virbitskaite und A. Voronkov, editor, Perspectives of Systems Informatics, volume 4378 of Lecture Notes in Computer Science, pages 1-18. Springer-Verlag, 2006.

[Ste05b]
Christian Stehno. Interchangeable High-Level Time Petri Nets. Petri Net Newsletter, 69:8-21, October 2005. This is a revised version of [Ste05c].

[Ste05a]
Christian Stehno. A Multi Purpose 3D Simulation Tool Based on Discrete Event Systems. In Karsten Schmidt and Christian Stahl, editors, AWPN 2005, Informatik-Berichte, pages 13-18. Humboldt-Universität zu Berlin, September 2005.

[Ste05d]
Christian Stehno. Recycling Model Checking Tools for New Application Domains. In Christian Stahl Karsten Schmidt, editor, AWPN 2005, Informatik-Berichte, pages 43-48. Humboldt-Universität zu Berlin, September 2005.

[Ste05c]
Christian Stehno. Interchangeable High-Level Time Petri Nets. PNML Workshop Helsinki, May 2005.

[EFM+05]
Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, and Christian Stehno. Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. In Andreas Prinz, Rick Reed, and Jeanne Reed, editors, SDL 2005: Model Driven, volume 3530 of Lecture Notes in Computer Science, pages 133-148. Springer-Verlag, 2005.

Veröffentlichungen 1992-2005