Linear invariants in commutative high level nets.

Jean-Michel Couvreur Javier Martínez

Published in: Applications and Theory of Petri Nets (1989)

Keyphrases

high level
low level
higher level
databases
special case
lower level
database
sufficient conditions
closed form
low level features
piecewise linear
closed form solutions
moment invariants
linear constraints
intermediate level