|
СТ |
Real arithmetic based verification of prioritized time Perti nets with parameters |
2010 |
Virbitskaite I., Fleischhack H., Dedova A. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
05.04.2011 |
|
СТ |
Model Checking of Time Petri Nets Based on Partial Order Semantics |
1999 |
Bieber B., Fleischhack H. |
|
|
|
Lecture Notes in Computer Science |
15.09.1999 |
|
СТ |
A Compositional Petri Net Semantics for SDL |
1998 |
Fleischhack H., Grahlmann B. |
|
|
|
Lecture Notes in Computer Science |
04.07.1998 |
|
СТ |
Computing Petri Net Languages by Reductions |
1995 |
Gronewold A., Fleischhack H. |
Lecture Notes in Computer Science |
|
|
Fundamentals of Computation Theory |
18.10.1995 |
|
СТ |
A Class of Composable High Level Petri Nets |
1995 |
Best E., Fleischhack H., Fraczak W., Hopkins R. P., Klaudel H., Pelz E. |
|
|
|
Lecture Notes in Computer Science |
05.07.1995 |
|
СТ |
P-Superfairness in Nets |
1992 |
Fleischhack H. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
