Tham khảo tài liệu 'petri net part 17', kỹ thuật - công nghệ, cơ khí - chế tạo máy phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | 21 Petri Nets for Component-Based Software Systems Development Leandro Dias da Silva1 Kyller Gorgônio 2 and Angelo Perkusich2 Paraiba State University 2Federal University of Campina Grande Brazil 1. Introduction The Software Engineering discipline was created to try to apply techniques and methods of others engineering disciplines to software systems development. To achieve this goal it was necessary to change the way software was developed not only at code level but also at the process level. Like in other engineering disciplines one of the major objectives of software engineering is to develop artifacts in a systematic way. Several building block approaches were proposed and developed along the years. Nowadays one of the most researched and used approach are software components Crnkovic and Grunske 2007. Nierstrasz et al. 2002 . Components are autonomous units with independent life cycle that represent an specific functionality. A component consists of functionality interface and possibly other non functional characteristics. The development of bigger systems with components as building blocks is called Component Based Development CBD . To make this possible it is necessary to adapt the traditional software engineering techniques and methods or even defined new ones to attend to specific CBD requirements. In the context of Component Based Software Engineering CBSE the objective is to define a set of practices that promotes the CBD. Formal methods improve the development process of software and hardware systems by helping designers to achieve dependability at different levels of abstractions such as requirements specification modeling and design. This is mainly due to the fact that the application of formal methods helps discovering and removing errors by performing automatic analysis and verification Clarke and Wing 1996 . Petri nets Murata 1989 and more specifically Hierarchical Coloured Petri Nets HCPN Jensen 1992. Jensen 1997 are a very powerful tool that has
