Interactive State-Space Analysis of Concurrent Systems

The introduction of concurrency into programs has added to the complexity of the software design process. This is most evident in the design of communications protocols where concurrency is inherent to the behavior of the system. The complexity exhibited by such software systems makes more evident the need for computer-aided tools for automatically analyzing behavior.

[1]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[2]  Gérard Berthelot,et al.  Petri Nets Theory for the Correctness of Protocols , 1982, PSTV.

[3]  Mary K. Vernon,et al.  SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems , 1986, IEEE Transactions on Software Engineering.

[4]  Jacques Voiron,et al.  Verification of protocol specificaitons using the CESAR system , 1985, PSTV.

[5]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets and preliminary performance evaluation , 1980, ISCA '80.

[6]  David J. Farber,et al.  Graph Modeling of computer communications protocols , 1976 .

[7]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[8]  Rami R. Razouk,et al.  Computer-aided analysis of concurrent systems , 1985, PSTV.

[9]  Robert M. Keller,et al.  Formal verification of parallel programs , 1976, CACM.

[10]  Keith A. Bartlett,et al.  A note on reliable full-duplex transmission over half-duplex links , 1969, Commun. ACM.

[11]  E. Timothy Morgan.  RGA users manual , 1984 .

[12]  Rami R. Razouk,et al.  Performance Analysis Using Timed Petri Nets , 1984, PSTV.

[13]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[14]  Carl A. Sunshine,et al.  Formal Techniques for Protocol Specification and Verification , 1979, Computer.

[15]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[16]  Brent Hailpern,et al.  Verifying network protocols using temporal logic , 1980 .

[17]  Michel Diaz,et al.  Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models , 1982, Comput. Networks.

[18]  Rami R. Razouk.  A guided tour of P-Nut (Release 2.2) , 1986 .

[19]  Rami R. Razouk,et al.  The derivation of performance expressions for communication protocols from timed petri net models , 1984, Comput. Commun. Rev..

[20]  P. Merlin,et al.  A Methodology for the Design and Implementation of Communication Protocols , 1976, IEEE Trans. Commun..

[21]  Richard N. Taylor,et al.  A general-purpose algorithm for analyzing concurrent programs , 1983, CACM.

[22]  Mischa Schwartz,et al.  Verification of a Multidestination Protocol Using Temporal Logic , 1982, PSTV.

[23]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.