Petri Net Synthesis for Conflict Free Resource Allocation in Discrete State Systems - Robotics Institute Carnegie Mellon University

Petri Net Synthesis for Conflict Free Resource Allocation in Discrete State Systems

Ramavarapu S. Sreenivas
Miscellaneous, Master's Thesis, Electrical and Computer Engineering, Carnegie Mellon University, April, 1987

BibTeX

@misc{Sreenivas-1987-15332,
author = {Ramavarapu S. Sreenivas},
title = {Petri Net Synthesis for Conflict Free Resource Allocation in Discrete State Systems},
booktitle = {Master's Thesis, Electrical and Computer Engineering, Carnegie Mellon University},
grantID = {#F33615-86-C-5-38},
month = {April},
year = {1987},
}