A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Formal Specification and Design of Distributed Systems
[chapter]
1997
IFIP Advances in Information and Communication Technology
To design Distributed Systems (DS), the advantages of integration of Petri Nets (PN) and Object Oriented (00) concepts had been widely discussed in the literature. Some integrations are mainly concerned with providing a formal basis for object oriented languages. Others focus on combining the abstract data type of the object technology with Petri nets. In both approaches the use of Petri nets is explicit so the resulting model diverges from the classical 00 technology. The aim of this work is
doi:10.1007/978-0-387-35082-0_24
fatcat:pbqsaisxejeyfg2i633abb4snu