Time Constraints Verification Methods Based on Time Petri Nets.

Joël Toussaint Françoise Simonot-Lion Jean-Pierre Thomesse

Published in: FTDCS (1997)

Keyphrases

petri net
knowledge base
machine learning
genetic algorithm
artificial intelligence
fuzzy logic
process model
model checking
constraint programming
temporal reasoning
service composition
discrete event systems
colored petri nets
concurrent systems
petri net model