For the most recent entries see the
Petri Nets Newsletter.
Lindqvist, M.
-
Lindqvist, M.:
Parameterized Reachability Trees for Predicate/Transition nets.
1993.
-
Lindqvist, Markus:
Parameterized Reachability Trees for Predicate/Transition Nets.
1990.
-
Lindqvist, M.:
Parameterized Reachability Trees for Predicate/Transition Nets.
1989.
-
Kettunen, E.;
Lindqvist, M.:
Towards Practicality of Predicate/Transition Petri Net Reachability Analysis of SDL.
1987.
-
Lindqvist, M.:
Translating SDL into PrT-Nets.
1987.
-
Kujansuu, R.;
Lindqvist, M.;
Ojala, L.;
Tiusanen, M.:
Petri Net Based Analysis Environment Supporting Software Production.
1985.
-
Kujansuu, R.;
Lindqvist, M.;
Ojala, L.;
Tuominen, H.:
Tools for Verifying Specifications.
1985.
-
Kuussaari, J.;
Saukkonen, S.;
Kujansuu, R.;
Lindqvist, M.;
Tiusanen, M.:
A Design Support System for Concurrent Programs.
1985.
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