|
| What is CADP? |
|---|
|
Home Page
Tools Overview Current Status Recent Changes |
| Installation |
|
How to obtain CADP?
Usage Statistics |
| Documentation |
|
FAQ
Tutorials Publications Manual Pages Demo Examples Wikipedia |
| CADP Community |
|
Newsletters
Education & Training Case Studies Research Tools |
| CADP Resources |
|
VLSAT Benchmarks
VLTS Benchmarks Other Resources |
| About CADP |
| Contributors |
The BCG PostScript Format
Louis-Pascal Tock
Rapport SPECTRE, 95-12, INRIA Rhône-Alpes, Grenoble, October 1995
Abstract:
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 |  |
 PostScript |