For the most recent entries see the
Petri Nets Newsletter.
Olcoz, S.
-
Olcoz, S.;
Colom, J.M.:
A Colored Petri Net Model of VHDL.
1995.
-
Olcoz, S.;
Colom, J.M.:
VHDL: A Discrete Event Simulation Hardware Description Language.
1994.
-
Olcoz, S.;
Colom, J.M.:
A Framework for Automated Static Analysis of VHDL.
1993.
-
Olcoz, S.;
Colom, J.M.:
A Petri Net Approach for the Analysis of VHDL Descriptions.
1993.
-
Olcoz, S.;
Colom, J.M.:
Analysis Tools Applied to VHDL.
1993.
-
Olcoz, S.;
Colom, J.M.:
Toward a Formal Semantics of IEEE Std. VHDL 1076.
1993.
-
Olcoz, S.;
Colom, J.M.:
VHDL Through the Looking Glass.
1993.
-
Olcoz, S.;
Colom, J.M.:
Petri Net Based Analysis of VHDL Programs.
1991.
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