Work in progress — Petri Nets as applied to the modeling of E-learning cooperative systems | IEEE Conference Publication | IEEE Xplore