IEEE - Institute of Electrical and Electronics Engineers, Inc. - Extending high-level Petri nets for object-oriented design

Author(s): Camurri, A. ; Franchi, P. ; Vitale, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1992
Conference Location: Chicago, IL, USA
Conference Date: 18 October 1992
ISBN (Paper): 0-7803-0720-8
DOI: 10.1109/ICSMC.1992.271703
Regular:

An integrated model for the high level representation of both the structural and the functional properties of complex concurrent real-time systems is presented. The model, called tau -nets, based... View More

Advertisement