Petri Net-Based Methods for Analyzing Structural Security in E-Commerce Business Processes