Performance equivalent simplification of sequent and parallel transitions in stochastic Petri nets

Tien Tzu Hsueh Pao/Acta Electronica Sinica

Volumn 30, Issue 8, 2002, Pages 1134-1137

  Tian, Li Qin ^a   Lin, Chuang ^a   Zhou, Wen Jiang ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Performance equivalent equation; Sequent and parallel transition; Simplification of model; Stochastic Petri nets

Indexed keywords

MATHEMATICAL MODELS; OPTIMIZATION; PERFORMANCE; RANDOM PROCESSES; THEOREM PROVING;

MULTIMEDIA MODELS; PERFORMANCE EQUIVALENT EQUATIONS; SEQUENT AND PARALLEL TRANSITION; SIMPLIFICATION; STOCHASTIC PETRI NETS; WORK FLOW;

PETRI NETS;

EID: 0036700796     PISSN: 03722112     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. M K Molly. Performance analysis using stochastic Petri nets [J]. IEEE Trans On Computers, 1982, C-31(9): 913-917.
2. G Cabodi, P Camurati, S Quer. Reachability analysis of large circuits using disjunctive partitioning and partial iterative squaring [J]. Systems Architecture, 2001, 47(2): 163-179.
3. W M Zuberek, I Rada. Modeling and analysis of distributed state space generation for timed Petri nets [A]. 34th Annual Simulation Symposium (SS-2001) [C]. Stattle, WA: The Society for Computer Simulation International (SCS), 2001. 93-98.
4. K Salimifard, M Wright. Petri net-based modelling of workflow system: An overview [J]. European Journal of Operational Research, 2001, 134(3): 664-676.
5. W M P Van der Aalst, A H M ter Hofstede. Verification of workflow task structures: A Petri-net-based approach [J]. Information Systems, 2000, 25(1): 43-69.
6. K Inseon, P Junyeol, S Joohan. Developing adaptive buffer-level synchronization algorithm by Petro nets for improving quality of multimedia related services [A]. 2000 IEEE International Conference on Systems, Man, and Cybernetics (SMC2000) [C]. Nashville, TN: 8-11 October, 2000. 3195-3200.
7. E Debes. A new Petri net based model of data transfers in the PC workstation memory hierarchy for MPEG encoding [A]. The 2001 IEEE International Symposium on Circuits and Systems (ISCAS) [C]. Sydney, Australia: 2001(2). 221-224.
8. W M Zuberek. Performance evaluation using unbound timed Petri nets [A]. Proc of the Third International Workshop on Petri Nets and Performance Models [C]. Kyoto, Japan: 1989. 180-186.
9. D C Marinescu, R R John. Synchronization of nonhomogeneous parallel computations [A]. Parallel Proceedings for Scientic Computer [C]. (G.Rosrigue.ed), SIAM Publication, 1989. 362-367.