|
СТ |
Merged processes: a new condensed representation of Petri net behaviour |
2005 |
Khomenko V., Kondratyev A., Koutny M., Vogler W. |
|
|
|
Acta Informatica |
11.01.2007 |
|
СТ |
Transition Systems of Elementary Net Systems with Localities |
2006 |
Koutny M., Pietkiewicz-Koutny M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.09.2006 |
|
СТ |
Petri Net Semantics of the Finite pi-Calculus |
2004 |
Devillers R., Klaudel H., Koutny M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.01.2005 |
|
СТ |
Canonical pretixes of Petri net unfoldings |
2003 |
Khomenko V., Koutny M., Vogler W. |
|
|
|
Acta Informatica |
02.12.2003 |
|
СТ |
Branching Processes of High-Level Petri Nets |
2003 |
Khomenko V., Koutny M. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
Parallelization of the Petri Net Unfolding Algorithm |
2002 |
Hejanko K., Khomenko V., Koutny M. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
|
СТ |
Towards an Efficient Algorithm for Unfolding Petri Nets |
2001 |
Khomenko V., Koutny M. |
|
|
|
Lecture Notes in Computer Science |
04.10.2001 |
|
СТ |
The Box Algebra - A Model of Nets and Process Expressions |
1999 |
Best E., Devillers R., Koutny M. |
|
|
|
Lecture Notes in Computer Science |
16.07.1999 |
|
СТ |
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus |
1998 |
Hesketh M., Koutny M. |
|
|
|
Lecture Notes in Computer Science |
04.07.1998 |
|
СТ |
Solving Recursive Net Equations |
1995 |
Best E., Koutny M. |
Lecture Notes in Computer Science |
|
|
Automata, Languages and Programming |
10.09.1995 |
|
СТ |
A Refined View of the Box Algebra |
1995 |
Best E., Koutny M. |
|
|
|
Lecture Notes in Computer Science |
05.07.1995 |
|
П |
Generalised Invariant Semantics of Concurrent Systems |
1990 |
Janicki R., Koutny M. |
|
|
Department of Computer Science and Systems |
|
11.05.1995 |
|
СТ |
Operational Semantics for the Petri Box Calculus |
1994 |
Koutny M., Esparza J., Best E. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Deriving Histories of Nets with Priority Relation |
1994 |
Janicki R., Koutny M. |
|
|
|
Lecture Notes in Computer Science |
25.08.1994 |
|
СТ |
Partial Order Semantics of Box Expressions |
1994 |
Koutny M. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
|
СТ |
Modelling Systems with Dynamic Priorities |
1992 |
Koutny M. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
|
СТ |
Petri net semantics of priority systems |
1992 |
Best E., Koutny M. |
|
|
|
Theoretical Computer Science |
07.05.1992 |
|
СТ |
Adequacy-Preserving Transformations of COSY Path Programs |
1992 |
Koutny M. |
|
|
|
Theoretical Computer Science |
31.03.1992 |
|
СТ |
Invariants and Paradigms of Concurrency Theory |
1991 |
Janicki R., Koutny M. |
|
|
|
Lecture Notes in Computer Science |
13.09.1991 |
