Analyzing E-Commerce Business Process Nets via Incidence Matrix and Reduction