|
СТ |
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 |
|
СТ |
Object-Oriented Modeling with High-Level Modular Petri Nets |
2004 |
Thanh C. B., Klaudel H. |
|
|
|
Lecture Notes in Computer Science |
21.05.2004 |
|
СТ |
A Concurrent and Compositional Petri Net Semantics of Preemption |
2000 |
Klaudel H., Pommereau F. |
|
|
|
Lecture Notes in Computer Science |
30.11.2000 |
|
СТ |
M-nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages |
1998 |
Best E., Fraczak W., Hopkins R. P., Klaudel H., Pelz E. |
|
|
|
Acta Informatica |
13.11.1998 |
|
СТ |
M-net Calculus Based Semantics for Triggers |
1998 |
Benzaken V., Hugon N., Klaudel H., Pelz E., Riemann R. -C. |
|
|
|
Lecture Notes in Computer Science |
04.07.1998 |
|
СТ |
General Refinement for High Level Petri Nets |
1997 |
Devillers R., Klaudel H., Riemann R. -C. |
|
|
|
Lecture Notes in Computer Science |
09.01.1998 |
|
СТ |
Consistent Equivalence Notion for Class of High Level Petri Nets |
1996 |
Klaudel H., Riemann R. -C. |
|
|
|
ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996 |
06.12.1996 |
|
СТ |
Communication as Unification in the Petri Box Calculus |
1995 |
Klaudel H., Pelz E. |
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 |
