sized manufacturing system example / manufacturing systems / constraint-solving tools / concurrent systems / smallest systems / communication protocols / basic solutions / transition systems / nonlinear constraint solving tools / larger systems / /
Organization
National Science Foundation / Computer Science Department / Stanford University Stanford / /
Person
Petri Net / Sriram Sankaranarayanan / Henny Sipma / Zohar Manna / /
Petri Net Analysis using Invariant Generation Sriram Sankaranarayanan, Henny Sipma and Zohar Manna ? Computer Science Department