References
Home
Team
Motivation
Requirements
Design
Implementation
Experiments
Conclusions
References
Presentation
Appendix

References

  1. Simona Bernardi , Susanna Donatelli , José Merseguer. From UML sequence diagrams and statecharts to analysable petri net models. Proceedings of the 3rd international workshop on Software and performance, July 24-26, 2002, Rome, Italy. [1]
  2. Juan de Lara and Hans Vangheluwe. Computer aided multi-paradigm modelling to process petri-nets and statecharts. In International Conference on Graph Transformations (ICGT), volume 2505 of Lecture Notes in Computer Science, pages 239-253. Springer-Verlag, October 2002. Barcelona, Spain. [2]
  3. Bas Graaf and Arie Van Deursan. Model-Driven Consistency Checking of Behavioural Specifications. Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, Pages 115-126. March 2007. Braga, Portugal. [3]
  4. PIPE2. A tool for creating and analysing Petri nets. [4]
  5. Professor Hans Vangheluwe. [5]

Maintained by Hans Vangheluwe Last Modified: 2012/01/10 01:58:09.