For the most recent entries see the
Petri Nets Newsletter
.
Keyword: operating systems
Weske, Mathias
:
Deadlocks in Computersystemen.
1995.
Vallejo, F.
;
Gregorio, J. A.
;
González Harbour, M.
;
Drake, J. M.
:
Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model.
1994.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography