|
СТ |
Hierarchical Timed High Level Nets and Their Branching Processes |
2003 |
Fleishhack H., Pelz E. |
|
|
|
Lecture Notes in Computer Science |
23.07.2003 |
|
СТ |
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 |
|
СТ |
An M-Net Semantics for B(PN) with Procedures |
1996 |
Lilius J., Pelz E. |
|
|
|
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 |
|
СТ |
About the concurrent behaviour of EN systems: definability and closure results |
1988 |
Pelz E. |
|
|
|
Application and Theory of Petri Nets |
12.07.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 |
