Petri nets are monoids: a new algebraic foundation for net theory

• 6 January 2003
• conference paper
• Published by Institute of Electrical and Electronics Engineers (IEEE)
• p. 155-164
• https://doi.org/10.1109/lics.1988.5114

Abstract

Keywords

• DIRECTED GRAPHS
• DISTRIBUTIVE LAW
• FORMAL LOGIC
• DIRECTED GRAPH
• PETRI NET
• FUNCTION SPACE