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.
SICS Research Report, ISSN 0283-3638 ; R86:01
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-21326OAI: diva2:1041360
Original report number R86001.Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

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

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 3 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