Special Feature: Putting Petri Nets to Work

Today's modeling tools, appropriate for conventional sequential systems, will be inadequate for the complex concurrent systems of the 80's. Petri nets may offer a solution.

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

[2]  C. A. R. Hoare,et al.  Parallel Programming: An Axiomatic Approach , 1975, Comput. Lang..

[3]  Tilak Krishna Mahesh Agerwala,et al.  Towards a theory for the analysis and synthesis of systems exhibiting concurrency. , 1975 .

[4]  Clarence A. Ellis,et al.  A Robust Algorithm for Updating Duplicate Databases , 1977, Berkeley Workshop.

[5]  S. Rao Kosaraju,et al.  Limitations of Dijkstra's Semaphore Primitives and Petri nets , 1973, SOSP '73.

[6]  Tilak Agerwala,et al.  A Synthesis Rule for Concurrent Systems , 1978, 15th Design Automation Conference.

[7]  K. Mani Chandy.  Models of Distributed Systems , 1977, VLDB.

[8]  Kim Peter Gostelow,et al.  Flow of control, resource allocation, and the proper termination of programs , 1971 .

[9]  Suhas S. Patil,et al.  COORDINATION OF ASYNCHRONOUS EVENTS , 1970 .

[10]  David Misunas,et al.  Petri nets and speed independent design , 1973, Commun. ACM.

[11]  Jack B. Dennis.  Modular, asynchronous control structures for a high performance processor , 1970 .

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

[13]  R. M Shapiro,et al.  A new approach to optimization of sequencing decisions , 1970 .

[14]  Jerre D. Noe,et al.  A Petri Net model of the CDC 6400 , 1971, SIGOPS Workshop on System Performance Evaluation.

[15]  Charles W. Rose,et al.  Modeling and design description of hierarchical hardware/software systems , 1975, DAC '75.

[16]  Tilak Agerwala,et al.  Comments on capabilities, limitations and “correctness” of Petri nets , 1973, ISCA '73.

[17]  Robert Valette,et al.  Petri nets as a common tool for design verification and hardware simulation , 1976, DAC '76.

[18]  Gary J. Nutt,et al.  Macro E-Nets for Representation of Parallel Systems , 1973, IEEE Transactions on Computers.

[19]  Jean-Loup Baer,et al.  Model, Design, and Evaluation of a Compiler for a Parallel Processing Environment , 1977, IEEE Transactions on Software Engineering.

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

[21]  Michel Hack,et al.  ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

[22]  Kurt Lautenbach,et al.  Use of Petri Nets for Proving Correctness of Concurrent Process Systems , 1974, IFIP Congress.