|
СТ |
Concurrency in Communicating Object Petri Nets |
2001 |
Valk R. |
|
|
|
Lecture Notes in Computer Science |
25.05.2001 |
|
СТ |
Object Oriented Petri Nets in Business Process Modeling |
2000 |
Moldt D., Valk R. |
|
|
|
Lecture Notes in Computer Science |
30.06.2000 |
|
СТ |
Petri Nets as Token Objects - An Introduction to Elementary Object Nets |
1998 |
Valk R. |
|
|
|
Lecture Notes in Computer Science |
04.07.1998 |
|
СТ |
Safe States in Banker like Resource Allocation Problems |
1988 |
Hauschildt D., Valk R. |
|
|
|
Petri Nets Tutorial |
05.10.1995 |
|
СТ |
Bridging the Gap Between Place- and Floyd-Unvariants with Applications to Preemptive Scheduling |
1993 |
Valk R. |
|
|
|
Lecture Notes in Computer Science |
21.08.1993 |
