For the most recent entries see the
Petri Nets Newsletter.
Vuong, S.T.
-
Anisimov, N.A;
Kovalenko, A.A.;
Postupalski, P.A.;
Vuong, S.T.:
Application of Compositional Petri Nets and PN3-Tool to the Specification of Distributed Multimedia Objects.
1999.
-
Anisimov, N.A.;
Kovalenko, A.A.;
Postupalsky, P.A.;
Vuong, S.T.:
Application of Compositional Petri Nets in the Specification of Multimedia Objects.
1997.
-
Anisimov, N.A.;
Kovalenko, A.A.;
Postupalski, P.A.;
Vuong, S.T.:
A Compositional Approach to the Specification of Multimedia Objects Using Petri Nets.
1996.
-
Jürgensen, W.;
Vuong, S.T.:
CSP and CSP Nets: A Dual Model for Protocol Specification and Verification.
1985.
-
Jürgensen, W.;
Vuong, S.T.:
Formal Specification and Validation of ISO Transport Protocol Components, Using Petri Nets.
1984.
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