PAPETRI: Environment for the Analysis of PETRI Nets.

Gérard Berthelot Colette Johnen Laure Petrucci

Published in: CAV (DIMACS/AMS volume) (1990)

Keyphrases

petri net
colored petri nets
expert systems
discrete event systems
petri net model
manufacturing systems
state machines
real time
data analysis