For the most recent entries see the
Petri Nets Newsletter.
Petkov, A.
-
Dimitrov, V.;
Petkov, A.:
Verification of Specifications Written in ESTELLE, Using Petri Nets.
1989.
-
Dimitrov, V.;
Petkov, A.:
Verification of Specifications Written in the Estelle Language Using Petri Nets.
1989.
-
Dimitrov, V.;
Petkov, A.:
Verification Oriented Estelle Specification of Communication Protocols.
1988.
-
Dimitrov, V.;
Petkov, A.:
Verification Oriented Estelle Specifications of Communication Protocols.
1988.
-
Petkov, A.;
Dimitrov, V.;
Bojanova, I.:
Verification Oriented Specification of Distributed Systems in Estelle.
1988.
-
Dimitrov, V.;
Petkov, A.:
A Class of Petri Nets Useful for Coordination Modeling of Distributed Systems.
1987.
-
Dimitrov, V.;
Petkov, A.:
Using Petri Nets for Communication Protocol Verification.
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