For the most recent entries see the
Petri Nets Newsletter.
Kettunen, E.
-
Kettunen, E.;
Montonen, E.;
Tuulinemi, T.:
An Interactive PrT-Net Tool for Verification of SDL-Specifications.
1988.
-
Kettunen, E.;
Montonen, E.;
Tuuliniemi, T.:
A Comparison of Pr/T-Net Based FIFO Channel Models.
1988.
-
Kettunen, E.;
Montonen, E.;
Tuuliniemi, T.:
A PrT-Net Based Analysis Environment for SDL-Specifications.
1988.
-
Kettunen, E.;
Lindqvist, M.:
Towards Practicality of Predicate/Transition Petri Net Reachability Analysis of SDL.
1987.
-
Kettunen, E.;
Montonen, E.;
Tuuliniemi, T.:
Comparison of Pr/T-Net Based FIFO Channel Models.
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography