HMSCs as Partial Specifications ... with PNs as Completions.

Benoît Caillaud Philippe Darondeau Loïc Hélouët Gilles Lesventes

Published in: MOVEP (2000)

Keyphrases

petri net
high level
delay insensitive
knowledge base
metadata
search algorithm
pattern recognition
formal specification