Reduction Rules for Time Petri Nets

Robert H. Sloan, Ugo A. Buy. Reduction Rules for Time Petri Nets. Acta Informatica, 33(7):687-706, 1996.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.