Temporal Constraints for Object Migration and Behavior Modeling Using Colored Petri Nets Hideki Sato and Akifumi Makinouchi   View Paper (PDF)   Return to Temporal and Active Database Modeling BIBTEX @inproceedings       {DBLP:conf/er/SatoM00,   author    = {Hideki Sato and                 Akifumi Makinouchi},    booktitle = {ER},    title     = {Temporal Constraints for Object Migration and Behavior Modeling Using Colored Petri Nets.},    pages     = {80-95},    year      = {2000},    url       = {db/conf/er/er2000.html#SatoM00},    ee        = {http://link.springer.de/link/service/series/0558/bibs/1920/19200080.htm},    bibsource = {DBLP, http://dblp.uni-trier.de}  } ©2004 Association for Computing Machinery