@misc{indiciae2659e3cfb1e1,
  title = {A Petri net controller for distributed hierarchical systems},
  author = {Peck, Joseph E.},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19930007486},
  note = {Source identifier: 19930007486}
}