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

[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map] [Home] [Hewlett-Packard]