A Petri-net Model for the Customer Ticket Management Specifications and its Analysis
Sheng Zhao · 1999
A petri net model of the technical specifications for Customer Ticket Management, a subsystem of Local Telecomm Business MIS, is proposed in this paper The feasibility of the specifications was reasoned also according to the Petri net properties