Temporal Constraints for Object Migration and Behavior Modeling Using Colored Petri Nets.

Hideki Sato, Akifumi Makinouchi

Browse the full ER paper archive.