Modeling and verification of online judge system with B/S based on Petri nets
Chen Dong · Journal of Computer Applications · 2009
Online judge system is a representative system in dynamic transaction processing under network environment.The properties of static structure and dynamic behavior were not considered by the conventional design method of software.A hierarchical model of online judge with B/S was constructed by P/T nets.According to the function,some important qualities were presented to guarantee the correctness of system.The analysis and verification of the model are shown by S_invariants.