The technique of Stochastic Petri Nets(SPN) was wildly used in the field of performance evaluation in the past 20 years.But the SPN model is still in face of the problem of explosion of the state space.And if in stochastic modeling the idealized assumption of exponential distribution is removed

the resulting stochastic process is non-Markovian.In this paper

we present Queuing Petri Net including Non-Markovian processes (NM-QPN)

a novel high level modeling technique

which is based on the former research.This modeling technique integrates the characteristics of Queuing Nets

Stochastic Petri Nets and simulation solving.A complete solving scheme of NM-QPN was presented.The algorithm of Flow Equivalent is used to analyze and simplify the Markovian processes parts in the model so that the state space will be greatly reduced

and then simulation technique to solve the remaining non-Markovian processes was used.