On generation of state space for timed Petri nets

• 1 January 1988
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 239-248
• https://doi.org/10.1145/322609.322648

Abstract