Navigation

Skiplinks

Contact

Publications 2011–2014

[BD14e] Eike Best and Raymond Devillers. Characterisation of the State Spaces of Marked Graph Petri Nets. Number 03/14 in Berichte aus dem Department für Informatik, pp. 1-21. Universität Oldenburg, December 2014.

[BD14d] Eike Best and Raymond Devillers. Petri net reengineering may be hard! Petri Net Newsletter Vol. 83, ISDN 0391-1804, Cover Picture, pp. 3-4 (April 2014).

[BD14c] Eike Best and Raymond Devillers. Synthesis of Persistent Systems. In: Proc. 35rd International Conference on Application and Theory of Petri Nets and Concurrency (Tunis, August 2014), G. Ciardo, E. Kindler (eds.), Springer-Verlag, LNCS 8489, 111-129 (2014).

[BD14b] Eike Best and Raymond Devillers. Persistent Systems with Unique Minimal Cyclic Parikh Vectors. Technical Report 02/14, Dep. Informatik, Carl von Ossietzky Universität Oldenburg, 80 pages (February 2014).

[BD14a] Eike Best and Raymond Devillers. Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets. In A.-H. Dediu et al. (eds.), Proc. LATA'14 (8th International Conference on Language and Automata Theory and Applications, Madrid, March 2014), LNCS 8370, Springer-Verlag, pp. 161–172.

[Bes13] Eike Best. Petri Nets at the University of Oldenburg in Germany. In Petri Net Newsletter Vol. 82, ISSN 0391-1804, Gesellschaft für Informatik, 21-23 (April 2013).

[BW13] Eike Best and Harro Wimmel. Structure Theory of Petri Nets. In: Proc. of the Fifth Advanced Course on Petri Nets, Rostock, 2010, K. Jensen et al. (eds.), ToPNoC VII, volume 7480 of LNCS, pp. 162-224, Berlin, Heidelberg 2013. Springer-Verlag.

[VGB12c] Irina Virbitskaite, Natalya Gribovskaya, Eike Best: Unifying Equivalences for Timed Transition Systems. Turing-100 (2012), 386–404.

[VGB12b] Irina Virbitskaite, Nataliya Gribovskaya, Eike Best. Some evidence of the consistency of categorical semantics for timed interleaving behaviors. Oldenburg: Univ., Dep. für Informatik, 2012, 34 Seiten, Reihe: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften, 2012,1.

[VGB12a] Irina Virbitskaite, Natalya Gribovskaya, and Eike Best. Unifying Equivalences for Timed Transition Systems. In Andrei Voronkov, editor, Turing-100, volume 10 of EPiC Series, pages 386-404. EasyChair, 2012. Proc. The Alan Turing Centenary Conference, Manchester (U.K.), June 22-25.

[BD12] Eike Best and Philippe Darondeau. Deciding Selective Declassification of Petri Nets. In: Principles of Security and Trust, Pierpaolo Degano and Joshua D. Guttman (eds.), 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.

[OVB12] Elena S. Oshevskaya, Irina Virbitskaite, Eike Best: Unifying Equivalences for Higher Dimensional Automata. Fundam. Inform. 119 (3–4) (2012), 357–372.

[OVB11b] Elena Oshevskaya, Irina Virbitskaite, and Eike Best. Relating Categorical Semantics for Higher Dimensional Automata. In: Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'2011), Marcin Szczuka, Ludwik Czaja, Andrzej Skowron, and Magdalena Kacprzak (eds.), 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: Proceedings of the 23rd Nordic Workshop on Programming Theory, Paul Pettersson and Cristina Seceleanu (eds.), pages 102-104, Västeras, Sweden, October 26-28 2011. Technical Report 254/2011, Mälalardalen University.

[BD11c] Eike Best and Philippe Darondeau. Separability in Persistent Petri Nets. Fundamenta Informaticae, 113:3-4, 2011, pp. 179-203, DOI: 10.3233/FI-2011-606.

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

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

Webmastern9u (marcf7bo.cmjugrawpzmuunderga@uol.ytmde) (Changed: 2018-11-01)