For the most recent entries see the
Petri Nets Newsletter.
Mackenthun, R.
-
Mackenthun, Rainer:
Unifying The Integration Of Real Time Computing Systems - An Abstract Machine To Specify Required Constraints.
2004.
-
Mackenthun, R;
Voorhoeve, M.:
Modelling and Verification with Petri Nets.
2003.
-
Mackenthun, R.;
Voorhoeve, M.;
Diagne, A.:
Modelling: Case Studies.
2002.
-
Mackenthun, R.;
Voorhoeve, M.;
Diagne, A.:
Modelling: Methods.
2002.
-
Mackenthun, Rainer;
Voorhoeve, Marc:
Modelling and Verification with Petri Nets.
1997.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The link to the author's homepage is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography