Construction of S-invariants and S-components for Refined Petri Boxes.

Raymond R. Devillers

Published in: Application and Theory of Petri Nets (1993)

Keyphrases

real time
special case
case study
learning algorithm
database systems
user interface
software components
invariant features
invariant representation