scispace - formally typeset
Journal ArticleDOI

A model for the protocol design of back-end storage networks

M. Zaki, +1 more
- 01 Nov 1985 - 
- Vol. 5, Iss: 4, pp 249-265
Reads0
Chats0
TLDR
This work presents a formal design for the system protocols of back-end storage networks that relies on predicate-transition nets (PrT-nets), which actually represent an extension of Petri nets and can provide reasonable means for precise modeling of complex systems.
About: 
This article is published in Journal of Systems and Software.The article was published on 1985-11-01. It has received 1 citations till now. The article focuses on the topics: Petri net & Synchronization (computer science).

read more

Citations
More filters
Journal ArticleDOI

A generalized stochastic high-level Petri net model for performance analysis

Samir M. Koriem, +1 more
- 01 Mar 1997 - 
TL;DR: A generalized stochastic high-level Petri net (GSHLPN) model for evaluating the performance of parallel/distributed systems, and the size of the reachable state space is reduced by combining the GSHLPN model with the compound marking technique (CMT).
References
More filters
Journal ArticleDOI

The notions of consistency and predicate locks in a database system

Kapali P. Eswaran, +3 more
- 01 Nov 1976 - 
TL;DR: It is argued that a transaction needs to lock a logical rather than a physical subset of the database, and an implementation of predicate locks which satisfies the consistency condition is suggested.
Journal ArticleDOI

Recoverability of Communication Protocols--Implications of a Theoretical Study

P. Merlin, +1 more
- 01 Sep 1976 - 
TL;DR: The time-Petri net (TPN) appears to be a suitable model for the study of practical recoverable processes and several practical communication protocols are formally designed and analyzed using this new model.
Book

Performance evaluation of asynchronous concurrent systems using Petri nets

C. V. Ramamoorthy, +1 more
TL;DR: An extended timed Petri net model is used to model clearly the synchronization involved in these systems, and it is found that the computational complexity involved increases in the same order as they are listed above.
Journal ArticleDOI

Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

C. V. Ramamoorthy, +1 more
- 01 Sep 1980 - 
TL;DR: In this article, an extended timed Petri net model is used to model the synchronization involved in real-time asynchronous concurrent systems, and procedures for predicting and verifying the system performance are presented.
Journal ArticleDOI

Formal Methods in Communication Protocol Design

Gregor von Bochmann, +1 more
- 01 Apr 1980 - 
TL;DR: This paper surveys the formal methods being applied to the problems of protocol specification, verification, and implementation, including state transition models, program verification, symbolic execution, and design rules.