Change search
ReferencesLink to record
Permanent link

Direct link
Behavior-Preserving Reductions of Communicating System Nets
Number of Authors: 2
1986 (English)Report (Refereed)
Abstract [en]

Among the various methods for the modeling of distributed systems that currently are available, the process algebra CCS and Petri nets with extensions are of particular interest. CCS contains the useful concept of synchronized communication. While the theory of CCS is based on a single concept of behavioral equivalence, a variety of such concepts could be incorporated into net theory. Particularly, a clear distinction can be made between the interleaving of concurrent actions and true concurrency. Net theory also provides a suitable basis for the investigation of structural proprties (eg. liveness). Furthermore, various reduction techniques applicable to nets compare favorably with the algebraic analysis methods of CCS. In view of these arguments, a CCS-oriented extension of the Petri net concept, called Communication System Nets, CS-nets, is introduced which incorporates a conditional action feature. Various behavior-preserving reduction techniques are demonstrated along with the applicability of CS-Nets to the specification and verification of distributed systems.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1986, 1. , 17 p.
Series
SICS Research Report, ISSN 0283-3638 ; R86:01
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21326OAI: oai:DiVA.org:ri-21326DiVA: diva2:1041360
Note
Original report number R86001.Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(1709 kB)4 downloads
File information
File name FULLTEXT01.pdfFile size 1709 kBChecksum SHA-512
111d8dc90470c7e6efbc33e5a15740ce8b52715c05bf27fb9126feafe62a81c99e2d1e4b55eb55e620c438bb9c10ad30fd99a545e22a29be94383942476979d5
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 4 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link