State Space Computation and Analysis of Time Petri Nets

Guillaume Gardey Olivier H. Roux Olivier F. Roux

Published in: CoRR (2005)

Keyphrases

petri net
state space
colored petri nets
computer systems
genetic algorithm
natural language
data analysis
low cost
cellular automata
simulation model
manufacturing systems
fuzzy petri net