| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2004 | — | conf |
SMC (5)
|
| 2002 | — | conf |
Theory and Practice of Timed Systems @ ETAPS
|
| 2001 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 1994 | — | conf |
Application and Theory of Petri Nets
|
| 1994 | — | conf |
FTRTFT
|
| 1993 | — | conf |
PNPM
|
| 1990 | — | conf |
CAV (DIMACS/AMS volume)
|
| 1990 | A* | conf |
CAV
|
| 1986 | — | conf |
Advances in Petri Nets
|
| 1985 | — | conf |
Applications and Theory in Petri Nets
|
| 1982 | — | conf |
PSTV
|
| 1982 | J | jnl |
IEEE Trans. Commun.
|
| 1981 | — | conf |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
|
| 1981 | — | conf |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
|
| 1981 | — | conf |
DDSS
|
| 1979 | — | conf |
Advanced Course: Net Theory and Applications
|
| 1976 | B | conf |
MFCS
|