Satellite Protocol Modeling by Synchronous Predicate Transition Nets.

Pascal Estraillier Claude Girault Jean-Michel Ilié

Published in: PNPM (1985)

Keyphrases

lightweight
colored petri nets
modeling framework
search engine
knowledge base
digital libraries
hidden markov models
modeling method