Abstract
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 on an extension to high-level Petri nets, is hierarchical, includes a type-checking mechanism, and supports the definition of taxonomic hierarchies of token, node and arc types. The proposed extensions of high-level Petri nets are thus embedded in an object-oriented development framework. tau -nets allow a type safe utilization of Petri nets in a multiparadigm programming environment. Petri nets are used to describe the dynamic relationships among different communicating processes while a functional language is used to specify the code tied with the firing of each transition. Every part of the system is strongly object-oriented. Nets, nodes, arcs and tokens belong to disjoint hierarchies of types supporting a single inheritance mechanism. >
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
