Timing Petri Nets categorically

This publication has 4 references indexed in Scilit:

• Axiomatizing net computations and processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A Linear Specification Language for Petri Nets
  DAIMI Report Series, 1991
• Coloured Petri Nets: A High Level Language for System Design and Analysis
  Published by Springer Nature ,1991
• Petri Nets
  Published by Springer Nature ,1985