PN2A – Converting Petri nets to finite state automaton in the GAP computer algebra system

This is a very small package to generate finite transformation semigroup representation of discrete Petri nets such that they can be decomposed by the SgpDec package. This is a small and scarcely documented package for our internal needs of our research team and amy or may not be developed further.

The source can be obtained from the project site.