|
СТ |
Bisimulation for fluid stochastic Petri nets |
2015 |
Tarasyuk I. V., Buchholz P. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
16.06.2016 |
|
П |
A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions |
2000 |
Buchholz P., Tarasyuk I. V. |
|
|
Techn.Univ.Dresden |
|
06.04.2001 |
|
СТ |
Modular State Level Analysis of Distributed Systems Techniques and Tool Support |
1999 |
Buchholz P., Kemper P. |
|
|
|
Lecture Notes in Computer Science |
08.04.1999 |
|
СТ |
Iterative Decomposition and Aggregation of Labeled GSPNs |
1998 |
Buchholz P. |
|
|
|
Lecture Notes in Computer Science |
04.07.1998 |
|
СТ |
A Notion of Equivalence for Stochastic Petri Nets |
1995 |
Buchholz P. |
|
|
|
Lecture Notes in Computer Science |
05.07.1995 |
|
СТ |
Hierarchical High Level Petri Nets for Complex System Analysis |
1994 |
Buchholz P. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
|
СТ |
Hierarchies in Colored GSPNs |
1993 |
Buchholz P. |
|
|
|
Lecture Notes in Computer Science |
21.08.1993 |
