Types of expressions and comparisons.

Some basic tools to work with expressions.

Functions for processing equations.

Tools to be used in the project.

Module for Petri Automata.

Printing Automata.

Converting a series of transitions into a word, and printing it.