The BCG PostScript Format
Rapport SPECTRE, 95-12, INRIA Rhône-Alpes, Grenoble, October 1995
This document describes the format of the Postscript files generated by bcg_draw and used in bcg_edit. Such files specify at once the structure of a BCG graph (states and transitions) and its graphical representation printable on any postscript printer. Any graph coded using this format can be modified interactively using the WYSIWYG (What You See Is What You Get) BCG graph editor called bcg_edit.