The BCG PostScript Format

Louis-Pascal Tock

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.

12 pages