For the most recent entries see the
Petri Nets Newsletter.
Keyword: system verification
-
Couvreur, Jean-Michel;
Encrenaz, Emmanuelle;
Paviot-Adet, Emmanuel;
Poitrenaud, Denis;
Wacrenier, Pierre-André:
Data Decision Diagrams for Petri Net Analysis.
2002.
-
Cortes, L.A.;
Eles, P.;
Peng, Z.:
Verification of embedded systems using a Petri net based representation.
2000.
-
Wang, J.;
Deng, Y.;
Xu, G.:
Reachability analysis of real-time systems using time Petri nets.
2000.
-
Alekseev, A.G.;
Bystrov, A.V.;
Kurtov, S.A.;
Mylnikov, S.P.;
Nepomnyashchy, V.A.;
Okunishnikova, E.V.;
Chubarev, P.A.;
Churina, T.G.:
Application of Petri nets in verification of distributed systems represented in the Estelle language.
1999.
-
Bernardo, M.;
Donatiello, L.;
Gorrieri, R.:
A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems.
1998.
-
Hiraishi, K.:
Efficient analysis of concurrent systems by Petri nets.
1998.
-
Hirashi, K.;
Nakano, M.:
On symbolic model checking in Petri nets.
1995.
-
Valmari, Antti:
Compositional State Space Generation.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography