1 |
T. Suzuki, S. M. Shatz, 'A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets,' IEEE Trans. on Software Engineering, Vol.16, No.5, pp.523-536, May, 1990
DOI
ScienceOn
|
2 |
C. Ghezzi, D. Mandrioli, S. Modasca and M. Pezze, 'A Unified High-Level Petri Net Formalism for Timed-Critical Systems,' IEEE Trans. on Software Engineering, Vol.17, No.2, pp.160-172, 1991
DOI
ScienceOn
|
3 |
G. Bucci and E. Vicario. 'Compositional Validation of TimeCritical Systems Using Communicating Time Petri Nets.' IEEE Trans. on Software Engineering, Vol.21, No.12. pp. 969-992, Dec., 1995
DOI
ScienceOn
|
4 |
Wei jen Yeh, 'Controlling State Explosion in Reachability Analysis,' Ph.D. Thesis. Purdue University. Dec., 1993
|
5 |
J. B. Jorgensen and L. M. Kristensen. 'Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes:' Proc. of the Workshop on Petri Nets in Sys. Eng. (PNSE '97), Sep., 1997
|
6 |
T. Murata, 'Petri Nets : Properties, Analysis and Application,' Proceedings of The IEEE. Vol.77. No.4, Apr., 1989
DOI
ScienceOn
|
7 |
Wolfgang Reisig, 'Petri Nets: An Introduction,' Springer-Verlag, 1985
|
8 |
W.J. Lee, S. D. Cha and Y. R. Kwon, 'Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering,' IEEE Trans. On Software Engineering, Vol.24, No.12, pp.1115-1130, Dec., 1998
DOI
ScienceOn
|
9 |
S. C. Cheung and J. Kramer, 'Checking Subsystem Safety Properties in Compositional Reachability Analysis,' Proceeding of ICSE, pp.144-154, 1996
DOI
|
10 |
E. M. Clarke, E. A. Emerson and A. P. Sistla, 'Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications,' ACM Transactions on Programming Languages and Systems, Vol.8, No.2. pp.244-263. 1896
DOI
ScienceOn
|
11 |
H.J. Genrich, 'Predicate/Transition Nets,' Petri Nets: Applications and Relationships to other Models of Concurrency (ed. W. Brauer, W. Reisig, and G. Rozenberg), Springer-Verlag, pp.207-247, 1987
|
12 |
Dirk O. Keck and Paul J. Kuehn, 'The Feature and Service Interaction Problem in Telecommunications Systems: A Survey,' IEEE Transactions on Software Engineering, Vol.24, No.10, Oct., 1998
DOI
ScienceOn
|
13 |
ITU-T, 'ITU-T Intelligent Network CS-2 Recommendations Q.1220-Q.1225,' Geneva, Jan., 1997
|
14 |
K. Jensen, 'Coloured Petri Nets : Basic Concepts, Analysis methods and Practical Use,' Springer-Verlag, Vol.1, 1992
|