High-Level Petri Nets-Extensions, Analysis, and Applications

The Electrical Engineering Handbook

Volumn , Issue , 2005, Pages 459-475

  He, Xudong ^a   Murata, Tadao ^b  

^a The Department of Electrical and Computer Engineering   (United States)

^b 1120 Science and Engineering Offices   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 62249141934     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-012170960-0/50035-9     Document Type: Chapter

References (80)

1. Abadi M., Cardelli L. A theory of objects 1996, Springer-Verlag.
2. Concurrent object-oriented programming and Petri nets-Advances in Petri nets. Lecture Notes in Computer Science 2001, Springer Verlag, Berlin. G. Agha, F. De Cindio, G. Rozenberg (Eds.).
3. Anttila M., Eriksson H., Ikonen J. Tools and studies of formal techniques-Petri nets and temporal logic. Protocol specification, testing, verification 1983, Elsevier Science, New York. H. Rudin, C.H. West (Eds.).
4. Alpern B., Schneider F.B. Defining liveness. Information Processing Letters 1985, 21:181-185.
5. Bastide R. Approaches in unifying Petri nets and the object-Oriented approach. Proceedings of the 1st Workshop on Object-Oriented Programming and Models of Concurrency 1995.
6. Biberstein O., Buchs D. Structured algebraic nets with object-orientation. Proceedings of the 1st Workshop on Object-Oriented Programming and Models of Concurrency 1995.
7. Battiston, E., Chizzoni, A., and Cindio, F.D. Inheritance and concurrency in CLOWN. Proceedings of the 1st Workshop on Object-Oriented Programming and Models of Concurrency.
8. Benjamin M. A message passing System: An example of combining CSP and Z. Proceedings of the 5th Annual Z Users Workshop 1990, 221-228.
9. Booch G. Object-oriented analysis and design with applications 1994, Benjamin/Cummings, MA. 2d. ed.
10. Booch G., Rumbaugh J., Jacobson I. Unified modeling language user guide 1997, Addison-Wesley, Reading, MA.
11. Clarke E., Wing J. Formal methods: State of the art and future. ACM Computing Surveys 1996, 28(4):626-643.
12. Coad P., Yourdon E. Object-oriented analysis 1991, Your-don Press, NJ.
13. Diaz M., Guidacci G., Silverira D. On the specification and validation of protocols by temporal logic and nets. Information Processing 1983, 83:47-52.
14. Dong Z., He X. Integrating UML statechart and collaboration diagrams using hierarchical predicate transition nets. Lecture Notes in Informatics 2001, P-7:99-112.
15. Dubois D., Prade H. Processing fuzzy temporal knowledge. IEEE Transactions On Systems, Man and Cybernetics 1989, 19(4):729-744.
16. Duke R., Smith G. Temporal logic and Z specifications. Australian Computer Journal 1989, 21(2):62-69.
17. Ehrig H., Mahr B. Fundamentals of algebraic specification 1-Equations and initial semantics 1985, Springer-Verlag, Berlin.
18. Evans A.S. An improved recipe for specifying reactive systems in Z. Proceedings of the 10th International Conference of Z Users Lecture Notes in Computer Science 1997, 1212:273-294.
19. Genrich H.J., Lautenbach K. System modeling with high-level Petri nets. Theoretical Computer Science 1981, 13:109-136.
20. Haas P. Stochastic Petri nets: Modeling, stability, simulation 2002, Springer-Verlag, Berlin.
21. Harel D. On visual formalisms. Communications of the ACM 1988, 31:514-530.
22. He X., Ding Y. A temporal logic approach for analyzing safety properties of predicate transition nets. Proceedings of the 12th IFIP World Computer Congress (Information Processing '92) 1992, 127-133.
23. He X., Ding Y. Object-oriented specification using hierarchical predicate transition nets. Proceedings of the 2nd International Workshop on Object-Oriented Programming and Models of Concurrency 1996, 72-79.
24. He X., Ding Y. Object orientation in hierarchical predicate transition nets. Lecture Notes in Computer Science 2001, 196-215.
25. He X. Specifying and verifying real-time systems using time Petri nets and real-time temporal logic. Proceedings of the 6th Annual Conference on Computer Assurance 1991, 135-140.
26. He X. Temporal predicate transition nets-A new formalism for specifying and verifying concurrent systems. International Journal of Computer Mathematics 1992, 45(1/2):171-184.
27. He X. A method for analyzing properties of hierarchical predicate transition nets. Proceedings of the 19th Annual International Computer Software and Applications Conference (COMPSAC'95) 1995, 50-55.
28. He X. A formal definition of hierarchical predicate transitionnets. Proceedings of the 17th International Conference on Application and Theory of Petri Nets (ICATPN'96), Lecture Notes in Computer Science 1091 1996, 212-229.
29. He X. Transformations on hierarchical predicate transition nets: Abstractions and refinements. Proceedings of the 22nd International Computer Software and Application Conference (COMPSAC '98) 1998, 164-169.
30. He X. Formalizing use case diagrams in hierarchical predicate transition nets. Proceedings of the IFIP 16th World Computer Congress 2000, 484-491.
31. He X. Formalizing class diagrams using hierarchical predicate transition nets. Proceedings of the 24th International Computer Software and Application Conference (COMPSAC'2000) 2000.
32. He X. Translating hierarchical predicate transition nets into CC++ programs. Information and Software Technology 2000, 42(7):475-488.
33. He X. PZ nets-A formal method integrating Petri nets with Z. Information and Software Technology 2001, 43:1-18.
34. He X., Lee J.A.N. Integrating predicate transition nets and first-order temporal logic in the specification of concurrent systems. Formal Aspects of Computing 1990, 2(3):226-246.
35. He X., Lee J.A.N. A methodology for constructing predicate transition net specifications. Software-Practice & Experience 1991, 21(8):845-875.
36. He, X., and Yang, C.H., Structured analysis using hierarchical predicate transition nets. Proceedings of the 16th International Computer Software and Applications Conference (COMPSAC'92). 212-217.
37. ISO/IEC. High-level Petri nets-Concepts, definitions, and graphical notation. Final Draft International Standard 2002, 15909. version 4.7.1.
38. Jensen K. Coloured Petri nets-Basic concepts, analysis methods, and practical use 1992, Springer-Verlag, Berlin.
39. Jensen K. Coloured Petri nets-Basic concepts, analysis methods, and practical use 1995, Springer-Verlag, Berlin.
40. High-level Petrinets-Theory and applications 1991, Springer-Verlag, Berlin. K. Jensen, G. Rozenberg (Eds.).
41. Kan C., He X. High-level algebraic Petri nets. Information and Software Technology 1995, 37(1):23-30.
42. Kan C., He X. A method for constructing algebraic Petrinets. Journal of Systems and Software 1996, 35:12-27.
43. Kappel G., Schrefl M. Using an object-oriented diagram technique for the design of information systems. Dynamic modeling of information systems 1991, Elsevier Science, New York.
44. Lewandowski S., He X. A Java framework for implementing hierarchical predicate transition nets. Proceedings of the 10th International Conference on Software Engineering and Knowledge Engineering (SEKE'98) 1998, 261-268.
45. Lewandowski S., He X. Automating the generation of code for a hierarchical predicate transition net-based design. Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering 2000.
46. Lakos C. From colored Petri nets to object Petri nets:. Proceedings of the 16th International Conference on the Application and Theory of Petri Nets 1995.
47. Lakos C. The object orientation of object Petri nets. Proceedings of the 1st Workshop on Object-Oriented Programming and Models of Concurrency 1995.
48. Lamport L. The temporal logic of actions. ACM Transactions on Programming Languages and Systems 1994, 16:872-923.
49. Lamport L. TLZ. Proceedings of the 1994 Z User Workshop 1994, 267-268.
50. Lee Y.K., Park S.J. OPNets: An object-oriented high-level Petri net model for real-time system modeling. Journal of Systems and Software 1993, 20:69-86.
51. Mandrioli D., Morzenti A., Pezze M., Pietro P., Silva S. A Petri net and logic approach to the specification and verification of real-time systems. Formal Methods for Real-time Computing 1996.
52. Manna Z., Pnueli A. The temporal verification of reactive systems-safety 1995, Springer-Verlag, Berlin.
53. Manna Z., Pnueli A. The temporal logic of reactive and concurrent systems-specification 1992, Springer-Verlag, Berlin.
54. Marsan M., Balbo G., Conte G., Donatelli S., Franceschinis G. Modeling with generalized stochastic Petri nets 1994, John Wiley & Sons, New York.
55. Matsuoka S., Yonezawa A. Analysis of inheritance anomaly in object-oriented concurrent programming languages. Research directions in concurrent object-oriented programming 1993, MIT Press, Boston. G. Agha, P. Wegner, A. Yonezawa (Eds.).
56. Medvidovic N., Taylor R. A classification and comparison framework for software architecture description languages. IEEE Transaction on Software Engineering 2000, 26(1):70-93.
57. Murata T. Temporal uncertainty and fuzzy-timing high-level Petri nets. Application and theory of Petri nets: Lecture Notes in Computer Science 1996, 1091:11-28.
58. Murata T. Petri nets, properties, analysis and applications. Proceedings of IEEE 1989, 77:541-580. (4).
59. Murata T., Chen C.P. Fuzzy-timing Petri-net modeling and analysis of video-on-demand system response times. Proceedings of the 5th World Conference on Integrated Design & Process Technology 2000, 298-306.
60. Murata T., Suzuki T., Shatz S. Fuzzy-timing high-level Petri nets (FTHNs) for time-critical systems. Fuzziness in Petri nets 1999, Studies in Fuzziness and Soft Computing, Springer-Verlag, Berlin. J. Cardoso, H. Camargo (Eds.).
61. Queille J.P., Sifakis J. Specification and verification of concurrent systems in CESAR. Lecture Notes in Computer Sciences 1982, 137:337-351.
62. Reisig W. Petri nets in software engineering. Lecture Notes in Computer Science 1987, 255:63-96.
63. Reisig W. Petri nets-An introduction. EATCS Monographs on Theoretical Computer Science 4 1985.
64. Reisig W. On the semantics of Petri nets. Formal models in programming 1985, North-Holland. J. Neuhold, G. Chroust (Eds.).
65. Shaw M., Garlan D. Software architecture 1996, Prentice-Hall, Englewood Cliffs, NJ.
66. Spivey J.M. The Z notation: A reference manual 1992, Prentice-Hall, Englewood Cliffs, NJ.
67. Stroustrup B. The C++ Programming Language 1991, Addison-Wesley, Reading, MA. 2d ed.
68. Suzuki I., Lu H. Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter. IEEE Transactions on Computer 1989, 38(5):696-704.
69. Taguchi K., Araki K. The state-based CCS semantics for concurrent Z specification. Proceedings of the 1st International Conference on Formal Engineering Methods 1997, 283-292.
70. van Hee K.M., Somers L.J., Voorhoeve M. Z and high-level Petri nets. Lecture Notes in Computer Science 1991, 551:204-219.
71. Wang J. Timed Petri nets, theory and application 1998, Kluwer Academic Publisher, Norwell, MA.
72. Watanuki K., Murata T. Evaluation method for assembly/ disassembly by Petri nets. Proceedings of the International Conference on Engineering Design 1999, 519-522. (ICED'99).
73. Yourdon E. Modern structured analysis 1989, Prentice Hall, Englewood Cliffs, NJ.
74. Zadeh L.A. Discussion: Probability theory and fuzzy logic are complementary rather than competitive. Technometrics of American Statistical Association and American Society for Quality Control 1995, 37(3).
75. Zhou Y., Murata T. Modeling and analysis of distributed multimedia synchronization by extended fuzzy-timing Petri nets. Journal of Integrated Design and Process Science 2001, 4(4):23-38.
76. Zhou Y., Murata T. Fuzzy-timing Petri net model for distributed multimedia synchronization. Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics 1998, 244-249.
77. Zhou Y., Murata T. Petri net model with fuzzy-timing and fuzzy-metric temporal logic. International Journal of Intelligent Systems 1999, 14(8):719-746.
78. Zhou Y., Murata T., DeFanti T. Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments. IEEE Transactions on Systems, Man, and Cybernetics 2000, 30(5).
79. Battiston, E., Chizzoni, A., and Cindio, F.D. Inheritance and concurrency in CLOWN. Proceedings of the 1st Workshop on Object-Oriented Programming and Models of Concurrency.
80. He, X., and Yang, C.H., Structured analysis using hierarchical predicate transition nets. Proceedings of the 16th International Computer Software and Applications Conference (COMPSAC'92). 212-217.