TY  - CHAP
AU  - Zhijiang Dong
AU  - Yujian Fu
AU  - Xudong He
AU  - Yue Fu
ED  - Vedran Kordic
Y1  - 2008-02-01
PY  - 2008
T1  - Formalizing and Validating UML Architecture Description of Service-Oriented Applications
N2  - Although many other models of concurrent and distributed systems have been de- veloped since the introduction in 1964 Petri nets are still an essential model for concurrent systems with respect to both the theory and the applications. The main attraction of Petri nets is the way in which the basic aspects of concurrent systems are captured both conceptually and mathematically. The intuitively appealing graphical notation makes Petri nets the model of choice in many applications. The natural way in which Petri nets allow one to formally capture many of the basic notions and issues of concurrent systems has contributed greatly to the development of a rich theory of concurrent systems based on Petri nets.
This book brings together reputable researchers from all over the world in order to provide a comprehensive coverage of advanced and modern topics not yet reflected by other books. The book consists of 23 chapters written by 53 authors from 12 different countries.
BT  - Petri Net
SP  - Ch. 22
UR  - https://doi.org/10.5772/5331
DO  - 10.5772/5331
SN  - 
PB  - IntechOpen
CY  - Rijeka
Y2  - 2024-04-25
ER  -