|
СТ |
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering |
2004 |
Desel J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.11.2004 |
|
СТ |
A Guide to Modelling and Control with Modules of Signal Nets |
2004 |
Desel J., Hanisch H. -M., Juhas G., Lorenz R., Neumair Ch. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.11.2004 |
|
СТ |
Validation of Process Models by Construction of Process Nets |
2000 |
Desel J. |
|
|
|
Lecture Notes in Computer Science |
30.06.2000 |
|
СТ |
Modeling, Simulation and Analysis of Business Processes |
2000 |
Desel J., Erwin T. |
|
|
|
Lecture Notes in Computer Science |
30.06.2000 |
|
СТ |
The Synthesis Problem of Petri Nets |
1996 |
Desel J., Reisig W. |
|
|
|
Acta Informatica |
27.07.1996 |
|
СТ |
P/T-systems as abstractions of C/E-systems |
1988 |
Desel J., Merceron A. |
|
|
|
Application and Theory of Petri Nets |
11.07.1995 |
|
СТ |
Proving Non-Reachability by Modulo-Place-Invariants |
1994 |
Desel J., Radola M. -D. |
|
|
|
Lecture Notes in Computer Science |
11.01.1995 |
|
СТ |
Regular Marked Petri Nets |
1994 |
Desel J. |
|
|
|
Lecture Notes in Computer Science |
22.06.1994 |
|
СТ |
Shortest Paths in Reachability Graphs |
1993 |
Desel J., Espaeza J. |
|
|
|
Lecture Notes in Computer Science |
21.08.1993 |
|
СТ |
A proof of the Rank Theorem for Extended Free Choise Nets |
1992 |
Desel J. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
