Petri Net - Other Models of Concurrency

Other Models of Concurrency

Other ways of modelling concurrent computation have been proposed, including process algebra, the actor model, and trace theory. Different models provide tradeoffs of concepts such as compositionality, modularity, and locality.

An approach to relating some of these models of concurrency is proposed in the chapter by Winskel and Nielsen.

Read more about this topic:  Petri Net

Famous quotes containing the word models:

    ... your problem is your role models were models.
    Jane Wagner (b. 1935)