|
1 |
A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions
Buchholz, Peter. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
|
2 |
Tau-Equivalences and Refinement for Petri Nets Based Design
Tarasyuk, Igor V.. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
3 |
Equivalences for modular performance analysis in dtsPBC
Tarasjuk, Igorʹ V.. - Oldenburg : Univ., Fak. II, Dep. für Informatik, 2011
|
|
|
|
4 |
Investigating equivalence relations in dtsPBC
Tarasjuk, Igorʹ V.. - Oldenburg : Univ., Fak. II, Dep. für Informatik, 2008
|
|
|
|
5 |
Discrete time stochastic Petri box calculus
Tarasjuk, Igorʹ V.. - Oldenburg : Carl-von-Ossietzky-Univ., Dep. für Informatik, [2005]
|
|
|
|
6 |
A class of stochastic Petri nets with step semantics and related equivalence notions
Buchholz, Peter. - Dresden : TU, Fak. Informatik, 2000
|
|
|
|
7 |
τ-equivalences and refinement for Petri nets based design
Tarasjuk, Igorʹ V.. - Dresden : TU, Fak. Informatik, 2000
|
|
|
|
8 |
Equivalences for concurrent and distributed systems
Tarasjuk, Igorʹ V.. - Oldenburg : Univ., Fachbereich Informatik, 1999
|
|
|
|
9 |
An investigation of back-forth and place bisimulation equivalences
Tarasjuk, Igorʹ V.. - Hildesheim : Inst. für Informatik, 1997
|
|
|
|
10 |
An investigation of τ-equivalencs [tau-equivalences]
Tarasjuk, Igorʹ V.. - Hildesheim : Inst. für Informatik, 1997
|
|
Administration
