Skip to content

README.md

Latest commit

 

History

History
21 lines (14 loc) · 800 Bytes

README.md

File metadata and controls

21 lines (14 loc) · 800 Bytes
Raw

OpenPonk: Petri nets

Nightly

This is an extension of OpenPonk tool that adds Petri net diagrams.

It allows crating places with tokens, transitions and arcs. Created Petri nets could be simulated in a random or user-picked order. Petri nets metamodel is included in the repository.

example

Installation

Requires Pharo 12 image - clean or with loaded OpenPonk.

In Playground, execute following script:

Metacello new
    baseline: 'OpenPonkPetriNets';
    repository: 'github://OpenPonk/petrinets/repository';
    load