File formats

Jump to: navigation, search

The mCRL2 toolset uses a number of different file formats. They are listed in the following table.

File format	Extension	Type	Description
mCRL2	`.mcrl2`	textual	process specification
LPS	`.lps`	ATerm	linear process specification
PBES	`.pbes`	ATerm	parameterised boolean equation system
LTS	`.lts`	binary	mCRL2 labelled transition system
MCF	`.mcf`	textual	mu-calculus formula
SVC	`.svc`	binary	labelled transition system in the SVC file format
BCG	`.bcg`	binary	labelled transition system in the BCG file format
AUT	`.aut`	textual	labelled transition system in the Aldebaran file format
FSM	`.fsm`	textual	labelled transition system in the FSM file format
trace	`.trc`	binary	trace for simulation
DOT	`.dot`	textual	DOT file format (subgraphs as nodes are not supported)
μCRL	`.mcrl`	textual	μCRL specification
TBF	`.tbf`	ATerm	μCRL linear process equation
PNML	`.pnml`	XML	Petri Net specification in the Petri Net Markup Language
Chi	`.chi`	textual	Chi specification in the Chi file format