1 |
Q. Gao, D. Zhou, and A. Li, "An algorithm for construction of petri-nets' improved coverability tree," in Progress of Computer Technology and Application, 2009, pp. 334- 338.
|
2 |
M. Peleg, D. Rubin, and R. B. Altman, "Using petri net tools to study properties and dynamics of biological systems," Journal of the American Medical Informatics Association, vol. 12, no. 2, pp. 181-199, Mar-Apr. 2005. http://dx.doi.org/10.1197/jamia.M1637
|
3 |
J. Padberg, M. Gajewsky, and C. Ermel, "Rule-based refinement of high-level nets preserving safety properties," Science of Computer Programming, vol. 40, no. 1, pp. 97- 118, May 2001. http://dx.doi.org/10.1016/S0167-6423(00) 00022-8
DOI
ScienceOn
|
4 |
A. S. Ribeiro, E. M. M. Costa, and E. J. Lima II, "Flexible manufacturing systems modelling using high level petri nets," ABCM Symposium Series in Mechatronics, vol. 3, pp. 405-413, 2008.
|
5 |
R. J. Lipton, The Reachability Problem Requires Exponential Space, Yale University, New Haven, CT, Technical Report, no. 62, 1976.
|
6 |
P. Kungas, "Petri net reachability checking is polynomial with optimal abstraction hierarchies," Lecture Notes in Computer Science, vol. 3607, pp. 149-164, 2005. http: //dx.doi.org/10.1007/11527862 11
|
7 |
G. Liu and L. Chen, "Class of Petri nets with equivalence of reachability and state equation satisifability," Computer Engineering and Applications, vol. 43, no. 11, pp. 84-86, 2007.
|
8 |
T. Murata, "Petri nets: properties, analysis and applications," Proceedings of the IEEE, vol. 77, no. 4, pp. 541- 580, Apr. 1989. http://dx.doi.org/10.1109/5.24143
DOI
ScienceOn
|
9 |
A. Xu and Z. Wu, "Live weighted t-system: reachability problem and the satisfiability of the state equation problem," Computer Science, vol. 26, no. 6, pp. 41-43, 1999.
|
10 |
Y. Bao, F. Lu, and Q. Zeng, "Two classes of petri net with reachability equivalent to state equation satisfiability," Journal of System Simulation, vol. 19, no. 1, pp. 44-46, 2007.
|
11 |
K. M. Lee, K. M. Lee, and K. S. Hwang, "Fuzzy colored timed petri nets for context inference," Journal of Korean Institute of Intelligent Systems, vol. 16, no. 3, pp. 291-296, Jun. 2006. http://dx.doi.org/10.5391/JKIIS.2006.16.3.291
과학기술학회마을
DOI
ScienceOn
|
12 |
Y. S. Mo, J. C. Kim, J. K. Kim, and H. S. Hwang, "Fuzzy transition timed petri net for modeling and analyzing of discrete event dynamic systems," Journal of Korean Institute of Intelligent Systems, vol. 11, no. 2, pp. 119-126, Apr. 2001.
과학기술학회마을
|
13 |
J. K. Kim, J. C. Kim, and H. S. Hwang, "Modeling of the fuzzy discrete event system and it's application," Journal of Korean Institute of Intelligent Systems, vol. 14, no. 4, pp. 487-492, Jul. 2004. http://dx.doi.org/10.5391/JKIIS. 2004.14.4.487
DOI
ScienceOn
|
14 |
H. Dong and J. Yang, "Petri net: concept, analysis method and application," Natural Science Journal of Harbin Normal University, vol. 15, no. 5, pp. 59-63, 1999.
|
15 |
Z. Wu, Petri Network Introduction, Chinese ed., Beijing: Machine Press, 1991.
|