In glossy society prone and aid supplied by means of computer-based structures became ubiquitous and certainly have began to fund amentally modify the way in which humans behavior their enterprise. in addition, it has develop into obvious that one of the nice number of machine applied sciences to be had to power clients a very important position should be performed via concurrent platforms. the reason being that many in most cases taking place phenomena and desktop functions are hugely con­ present : general examples contain regulate platforms, machine networks, electronic undefined, company computing, and multimedia structures. Such structures are characterized via ever expanding complexity, which ends up while huge num­ bers of simultaneously lively parts have interaction. This has been recognized and addressed in the computing technology neighborhood. specifically, sev­ eral shape al types of concurrent platforms were proposed, studied, and utilized in perform. This ebook brings jointly of the main wide-spread formalisms for de­ scribing and analysing concurrent platforms: Petri nets and method algebras. at the one hand , approach algebras permit one to specify and cause concerning the layout of complicated concurrent computing platforms by way of algebraic operators resembling universal programming constructs. Petri nets, nevertheless, supply a graphical illustration of such platforms and an extra technique of verifying their correctness successfully, in addition to a fashion of expressing houses concerning causality and concurrency in method be­ haviour.