Compositional Petri net models of advanced tasking in Ada-95

Ravi K. Gedela, Sol M. Shatz, Haiping Xu. Compositional Petri net models of advanced tasking in Ada-95. Computer Languages, Systems \& Structures, 25(2):55-87, 1999.

@article{GedelaSX99:0,
  title = {Compositional Petri net models of advanced tasking in Ada-95},
  author = {Ravi K. Gedela and Sol M. Shatz and Haiping Xu},
  year = {1999},
  tags = {composition},
  researchr = {https://researchr.org/publication/GedelaSX99%3A0},
  cites = {0},
  citedby = {0},
  journal = {Computer Languages, Systems \& Structures},
  volume = {25},
  number = {2},
  pages = {55-87},
}