Vitalsource Technologies, Inc. Discrete Event Systems In Dioid Algebra And Conventional Algebra