СТ |
Modular Analysis of Dataflow Process Networks |
2003 |
Jin Y., Esser R., Lakos C., Janneck J. W. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
СТ |
Object Oriented Modeling with Object Petri Nets |
2001 |
Lakos C. |
|
|
|
Lecture Notes in Computer Science |
25.05.2001 |
СТ |
The Incremental Modeling of the Z39.50 Protocol with Object Petri Nets |
1999 |
Lakos C., Lamp J. |
|
|
|
Lecture Notes in Computer Science |
05.06.1999 |
СТ |
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets |
1996 |
Lakos C. |
|
|
|
Lecture Notes in Computer Science |
01.08.1996 |
СТ |
From Coloured Petri Nets to Object Petri Nets |
1995 |
Lakos C. |
|
|
|
Lecture Notes in Computer Science |
05.07.1995 |