|
СТ |
How Expressive Are Petri Net Schemata? |
2006 |
Glausch A., Reisig W. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.08.2006 |
|
СТ |
Verification of Distributed Algorithms with Algebraic Petri Nets |
1997 |
Kindler E., Reisig W. |
|
|
|
Lecture Notes in Computer Science |
28.11.1997 |
|
СТ |
The Synthesis Problem of Petri Nets |
1996 |
Desel J., Reisig W. |
|
|
|
Acta Informatica |
27.07.1996 |
|
СТ |
Petri Net Models of Distributed Algorithms |
1995 |
Reisig W. |
Lecture Notes in Computer Science |
|
|
Computer Science Today |
01.12.1995 |
|
СТ |
CSP-Programs as Nets with Individual Tokens |
1988 |
Goltz U., Reisig W. |
|
|
|
Petri Nets Tutorial |
05.10.1995 |
|
СТ |
The Decent Philosophers: An exercise in operational semantics of concurrent systems |
1989 |
Reisig W. |
|
|
|
J.W. de Bakker, 25 Jaar Semantiek |
04.10.1995 |
|
СТ |
Correctness Proofs of Distributed Algorithms |
1994 |
Reisig W. |
Lecture Notes in Computer Science |
|
|
Theory and Practice in Distributed Systems |
27.08.1995 |
|
СТ |
On a Compositional Semantics for Hierarchies in Petri Nets and in Statecharts |
1990 |
Reisig W. |
|
|
Univ. di Pisa |
Concurrency and Compositionality |
30.06.1995 |
|
СТ |
Processes of Place/Transition-Nets |
1984 |
Goltz U., Reisig W. |
|
|
|
|
03.06.1995 |
|
СТ |
Petri nets ang algebraic specifications |
1991 |
Reisig W. |
|
|
|
Theoretical Computer Science |
12.05.1995 |
|
СТ |
Petri Nets: Fundamentals, Essentials, Consequences |
1993 |
Reisig W. |
|
|
|
EATCS Bull. |
24.03.1993 |
|
П |
Petri Nets and Algebraic Specifications |
1990 |
Reisig W. |
|
|
TUM |
|
16.12.1992 |
|
П |
What Operational Semantics is Adequate for Nonsequential Systems? |
1984 |
Reisig W. |
|
|
Helsinki Univ. Technology |
|
16.12.1992 |
|
СТ |
Combining Petri Nets and Other Formal Methods |
1992 |
Reisig W. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
|
СТ |
Petri nets and algebraic specifications |
1991 |
Reisig W. |
|
|
|
Theoretical Computer Science |
08.06.1991 |
