Technical reference for Petrinaut
Reference material for the terminology, mathematical foundations, and technical details behind Petrinaut.
See the glossary for definitions of the terminology used throughout Petrinaut and its documentation.