Coloured Petri Nets - Preface by the Section Editor.

Published in: Int. J. Softw. Tools Technol. Transf. (1998)

Keyphrases

coloured petri nets
formal verification
international workshop
real time
probabilistic model
model checking
machine learning
preprocessing
information retrieval and extraction
workshop on data mining
information retrieval
website
reinforcement learning