For the most recent entries see the
Petri Nets Newsletter
.
Keyword: executable specifications
Ebert, C.
:
Experiences with colored predicate/transition nets for specifying and prototyping embedded systems.
1998.
Nigro, Libero
;
Pupo, Francesco
:
Modeling and Analysing DART Systems Through High-Level Petri Nets.
1996.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography