Petri Nets, Objects and Simulation

3/9/01


Click here to start


Table of Contents

Petri Nets, Objects and Simulation

Motivation for RISCSIM

Selection of Notation

Coloured Petri Nets

Initial simplifications

Extensions

Petri Net Fragments

Probability and Priority

Fork and Join

Time and Concurrency

Resources

Place Types

Transition Types

Use of Resources

Mapping Transition to Resources

Client-Server Example (1)

Model Instances

Client-Server Example (2)

Simple Models

Concurrent Server

Routing

Network Routing (2)

Middleware and Protocols

Indirect Resource Mapping

FDDI

Ethernet Example

Simple Transport Protocol?

Transport Protocol Problems

Two Style of Design

Dynamic Binding

Dynamic Binding

A Simple Example

Structured Workload

Client Behaviour

Server Allocator

Execution Environment

Linkage of Complete Set of Models

Streams and Reservation

Dynamic Object Creation

Back Pressure

Conclusions

Author: pfl

Email: pfl@ukc.ac.uk

Home Page: http://www.cs.ukc.ac.uk/people/staff/pfl/index.local