For the most recent entries see the
Petri Nets Newsletter
Keyword: multiprocessor systems
Modeling and verification of a class of real-time systems by the use of High Level Petri Nets.
R-nets for the performance evaluation of hard real-time systems.
Fault Modeling and Fault Contamination in Multiprocessor Systems.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography