For the most recent entries see the
Petri Nets Newsletter
.
Keyword: multiprocessor systems
Hassapis, George
;
Ananidou, Dimitra
:
Modeling and verification of a class of real-time systems by the use of High Level Petri Nets.
2003.
Koriem, S.M.
:
R-nets for the performance evaluation of hard real-time systems.
1999.
Johnson, A.M.
:
Fault Modeling and Fault Contamination in Multiprocessor Systems.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography