For the most recent entries see the
Petri Nets Newsletter
.
Keyword: PRES+
Cortes, L.A.
;
Eles, P.
;
Peng, Z.
:
Definitions of equivalence for transformational synthesis of embedded systems.
2000.
Cortes, L.A.
;
Eles, P.
;
Peng, Z.
:
Verification of embedded systems using a Petri net based representation.
2000.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography