Coloured Petri Nets with Parallel Composition to Separate Concerns.

Ella E. Roubtsova Ashley T. McNeile

Published in: ICEIS (3) (2010)

Keyphrases

coloured petri nets
parallel implementation
parallel processing
formal verification
artificial intelligence
multiscale
data structure
expert systems
massively parallel
parallel programming