Extensions to Coloured Petri Nets.

Jonathan Billington

Published in: PNPM (1989)

Keyphrases

coloured petri nets
formal verification
logic programming
default logic
default theories
databases
data mining
information systems
end users
efficient implementation