modelling-tasks-0.0.0.1
Safe HaskellSafe-Inferred
LanguageHaskell2010

Modelling.PetriNet.LaTeX

Description

This module provides functionality of generating LaTeX formula in order to represent a given PetriLike. Using this module these formulas are only converted into LaTeX source code.

Synopsis

Documentation

toPetriMath :: Net p n => p n String -> PetriMath Formula Source #

Takes a Net and generates all formulas required in order to represent this net using a mathematical representation (PetriMath).