A Petri Net Based Modeling of Active Objects and Futures