Using Petri nets to introduce operating system concepts
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
A Survey of Some Theoretical Aspects of Multiprocessing
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
A synthesis rule for concurrent systems
DAC '78 Proceedings of the 15th Design Automation Conference
Comments on capabilities, limitations and “correctness” of Petri nets
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Evaluation methods in SARA—the graph model simulator
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
The computer system representation problem
ANSS '73 Proceedings of the 1st symposium on Simulation of computer systems
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
Validation of a trace-driven CDC 6400 simulation
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Evaluation nets for computer system performance analysis
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Macro E-Nets for Representation of Parallel Systems
IEEE Transactions on Computers
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs
Fundamenta Informaticae
| Hi-index | 0.01 |
Measurement and evaluation of computer systems requires a model of the computer under control of the operating system that shows the interrelation between task flow and allocation of resources. For multiprogramming and multiprocessing systems, the model needs to show parallelism of operations. Furthermore, it should allow easy shift into greater or less detail as required by the measurement investigation, while providing perspective on the whole system. An adaptation of Petri Nets has been found well suited to this purpose. The representation shows parallelism, and allows compression of either sequential or parallel operations when less detail is required. The paper describes a multiprocessor, multiprogramming system, the CDC 6400, in terms of Petri Nets and shows how this type of representation lends itself to planning system measurements.