On the Analysis of Petri Nets with Static Priorities - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Falko Bause. On the Analysis of Petri Nets with Static Priorities. Acta Informatica, 33(7):669-685, 1996.

@article{Bause96,
  title = {On the Analysis of Petri Nets with Static Priorities},
  author = {Falko Bause},
  year = {1996},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/Bause96},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {33},
  number = {7},
  pages = {669-685},
}

runs on WebDSL