Tài liệu tham khảo |
Loại |
Chi tiết |
1. Trần Thọ Châu (1996), Lưới Petri có thời gian và đặc trưng ngôn ngữ của lưới Petri suy rộng, Luận án phó tiến sĩ khoa học Toán lý, Trường đại học Khoa học tự nhiên – Đại học Quốc gia Hà Nội |
Sách, tạp chí |
Tiêu đề: |
Lưới Petri có thời gian và đặc trưng ngôn ngữ của lưới Petri suy rộng |
Tác giả: |
Trần Thọ Châu |
Năm: |
1996 |
|
2. Phạm Văn Thạo (2001), Về khả năng biểu diễn ngôn ngữ của mạng Petri, Luận án tiến sĩ Toán học, Viện Toán học, Hà Nội.Tiếng Anh |
Sách, tạp chí |
Tiêu đề: |
Về khả năng biểu diễn ngôn ngữ của mạng Petri |
Tác giả: |
Phạm Văn Thạo |
Năm: |
2001 |
|
3. Pham Tra An (2000), “On growth function of Petri net”, ActaMathematica Vietnamica, 25(3), pp. 269 – 279 |
Sách, tạp chí |
Tiêu đề: |
On growth function of Petri net”, "ActaMathematica Vietnamica |
Tác giả: |
Pham Tra An |
Năm: |
2000 |
|
4. Choppy C., Dedova A., Evangelista S., Hong S., Klai K. and Petrucci L. (2010), “The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification”, Lecture Notes in Computer Science 2010, Springer- Verlag, pp. 145– 164 |
Sách, tạp chí |
Tiêu đề: |
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification”, "Lecture Notes in Computer Science 2010 |
Tác giả: |
Choppy C., Dedova A., Evangelista S., Hong S., Klai K. and Petrucci L |
Năm: |
2010 |
|
5. Gil-Costa V., Lobos J., Inostrosa-Psijas A. and Marin M. (2012), “Capacity planning for vertical search engines: an approach based on coloured Petri nets”, Lecture Notes in Computer Science 2012, Springer-Verlag, pp. 288– 307 |
Sách, tạp chí |
Tiêu đề: |
Capacity planning for vertical search engines: an approach based on coloured Petri nets”, "Lecture Notes in Computer Science 2012 |
Tác giả: |
Gil-Costa V., Lobos J., Inostrosa-Psijas A. and Marin M |
Năm: |
2012 |
|
6. Murata T. (1989), “ Petri nets: Properties, analysis and applications”, Proceedings of the IEEE, 77(4), pp. 541– 580 |
Sách, tạp chí |
Tiêu đề: |
Petri nets: Properties, analysis and applications”, "Proceedings of the IEEE |
Tác giả: |
Murata T |
Năm: |
1989 |
|
7. Lakos, Charles A., “Object Oriented Modelling with Object Petri Nets”, A paper to be published in Advances in Petri Nets. 1999 |
Sách, tạp chí |
Tiêu đề: |
Object Oriented Modelling with Object Petri Nets |
|
9. Sibertin-Blanc C. (2001), “CoOperative Object: Principles, Use and Implementation”, Lecture Notes in Computer Science 2001, Springer-Verlag, pp. 216– 246 |
Sách, tạp chí |
Tiêu đề: |
CoOperative Object: Principles, Use and Implementation”, "Lecture Notes in Computer Science 2001 |
Tác giả: |
Sibertin-Blanc C |
Năm: |
2001 |
|
10. Sibertin-Blanc C. (1997), “Concurrency in CoOperative Objects”, Proceedings of the Second International Workshop on High-Level Parallel Programming Models and Supportive Environments HIPS’97, IEEE Society Press |
Sách, tạp chí |
Tiêu đề: |
Concurrency in CoOperative Objects”, "Proceedings of the Second International Workshop on High-Level Parallel Programming Models and Supportive Environments HIPS’97 |
Tác giả: |
Sibertin-Blanc C |
Năm: |
1997 |
|
11. Westergaard M. and Maggi F. (2011), “Modeling and verification of a protocol for operational support using coloured Petri nets”, Lecture Notes in Computer Science 2011, Springer-Verlag, pp. 169– 188 |
Sách, tạp chí |
Tiêu đề: |
Modeling and verification of a protocol for operational support using coloured Petri nets”, "Lecture Notes in Computer Science 2011 |
Tác giả: |
Westergaard M. and Maggi F |
Năm: |
2011 |
|
12. Rumbaugh J. (1991), “Object-oriented modeling and design”, Prentice-Hall |
Sách, tạp chí |
Tiêu đề: |
Object-oriented modeling and design |
Tác giả: |
Rumbaugh J |
Năm: |
1991 |
|
13. Shlaer S. and Mellor S.J. (1992), “Object Lifecycles – Modeling the World in States” , Prentice Hall |
Sách, tạp chí |
Tiêu đề: |
Object Lifecycles – Modeling the World in States |
Tác giả: |
Shlaer S. and Mellor S.J |
Năm: |
1992 |
|
8. Reisig W. (1983), „Petri Nets: An Introduction“, Springer-Verlag, Berlin |
Khác |
|