Home

Awesome

gen_pnet_examples

A collection of small, instructive examples using gen_pnet.

Examples

cvm

Cookie vending machine. The example used to expain the callback functions for gen_pnet in a single gen_pnet module.

dinner

Dining philosophers problem. A Petri net specification of the five dining philosophers. This example shows how concurrent applications can be expressed in gen_pnet and is, furthermore, an example of a live net.

crosstalk

A Petri net specification of the crosstalk algorithm.

System Requirements

Resources

Authors

License

Apache 2.0