For the most recent entries see the
Petri Nets Newsletter.
Bystrov, A.V.
-
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.
-
Bystrov, A.V.;
Virbitskaite, I.B.:
Implementing model checking and equivalence checking for time Petri nets by the RT-MEC tool.
1997.
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