HP Labs Technical Reports
Techniques and Methodology for Concurrent System Modeling Based on Net Theory
Cherkasova, Ludmila; Kotov, Vadim
Abstract: A modeling environment based on Petri nets and related concurrency models is discussed. It supports the rigorous specification, design, validation, and analysis of complex concurrent/distributed systems. A survey of notions and results of the net theory is given. Some features and problems of concurrent systems are presented in terms of the net theory. The applicability of the latter to the solution of realistic concurrency problems is advocated. The main objectives and general structure of a system modeling environment based on nets are outlined.
Back to Index