For the most recent entries see the
Petri Nets Newsletter.
Abstract Specification of Resource Accessing Disciplines: Adequacy, Starvation, Priority and Interrupts.
Lauer, P.E.;
Shields, M.W.
Newcastle upon Tyne, England: University of Newcastle upon Tyne, Computing Laboratory, Technical Report 117,
December 1977.
Also in:
IUT Paris V: Programmation Globales des Synchronisations dans les Applications en Temps Reel, Actes des Journees AFCET Informatique, pages 173-212.
Paris: AFCET,
November 1977.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography