Liveness, Schedulers and Petri Nets. Application to the Detection of Ada Tasking Deadlocks (bibtex)

by José-Manuel Colom, Javier Campos and Manuel Silva

Reference:

Liveness, Schedulers and Petri Nets. Application to the Detection of Ada Tasking Deadlocks (José-Manuel Colom, Javier Campos and Manuel Silva), Technical report 92-12, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1992.

Bibtex Entry:

@TechReport{Colom1992,
  author      = {Jos{\'{e}}-Manuel Colom and Javier Campos and Manuel Silva},
  institution = {Departamento de Ingenier\'{\i}a El\'ectrica e Inform\'atica, Universidad de Zaragoza},
  title       = {Liveness, Schedulers and {Petri} Nets. Application to the Detection of {Ada} Tasking Deadlocks},
  year        = {1992},
  address     = {Zaragoza, Espa\~na},
  month       = {February},
  number      = {92-12},
  type        = {Research Report},
  groups      = {silarri:6},
  keywords    = {Petri Net Structure Theory, Petri Net Analysis, Petri Net Modelling, Software Systems},
}