diff --git a/.travis.yml b/.travis.yml index f9bf0e7..4c83d38 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,8 +1,14 @@ +install: + - wget https://s3.amazonaws.com/rebar3/rebar3 && chmod +x rebar3 language: erlang +script: ./rebar3 eunit otp_release: + - 19.2 + - 19.1 - 19.0 - 18.3 - 18.2.1 - 18.2 - 18.1 - 18.0 + diff --git a/README.md b/README.md index 6325a61..b15e483 100644 --- a/README.md +++ b/README.md @@ -2,9 +2,9 @@ **[gen_pnet documentation](http://cuneiform-lang.org/man/gen_pnet/)** -Some applications exhibit behavioral patterns that lend themselves to Petri Nets. The major advantage of modeling applications with Petri Nets is that they provide a natural view on the concurrent behavior of an application. This is achieved by making explicit the preconditions for an operation to be carried out while leaving implicit how and when an operation is triggered and what other operations might run in parallel. +Some applications exhibit behavioral patterns that lend themselves to Petri nets. The major advantage of modeling applications with Petri nets is that they provide a natural view on the concurrent behavior of an application. This is achieved by making explicit the preconditions for an operation to be carried out while leaving implicit how and when an operation is triggered and what other operations might run in parallel. -This OTP library is a framework for programming with Petri Nets. It implements a very general form of Petri Nets: Colored Petri Nets (CPN). I.e., tokens may not only be markers but can be any conceivable data structure. Furthermore, a place can hold any number of tokens not just one. +This OTP library is a framework for programming with Petri nets. It implements a very general form of Petri nets using Erlang terms as tokens. I.e., tokens are not only markers but can be any conceivable data structure. Furthermore, a place can hold any number of tokens not just one. -While many simulation libraries only mimic the concurrent behavior of Petri Nets, the `gen_pnet' library allows the definition of Nets with an arbitrary number of transitions competing for a place's tokens neither imposing order in the form of an orverarching loop nor otherwise constraining parallelism. +While many simulation libraries only mimic the concurrent behavior of Petri nets, the `gen_pnet' library allows the definition of nets with an arbitrary number of transitions competing for a place's tokens neither imposing order in the form of an orverarching loop nor otherwise constraining parallelism. diff --git a/doc/overview.edoc b/doc/overview.edoc index 9e41c1f..659eaeb 100644 --- a/doc/overview.edoc +++ b/doc/overview.edoc @@ -7,11 +7,13 @@ @reference <a href="https://github.com/joergen7/gen_pnet">Source code</a> hosted at GitHub. @doc -Some applications exhibit behavioral patterns that lend themselves to Petri Nets. The major advantage of modeling applications with Petri Nets is that they provide a natural view on the concurrent behavior of an application. This is achieved by making explicit the preconditions for an operation to be carried out while leaving implicit how and when an operation is triggered and what other operations might run in parallel. +Some applications exhibit behavioral patterns that lend themselves to Petri nets. The major advantage of modeling applications with Petri nets is that they provide a natural view on the concurrent behavior of an application. This is achieved by making explicit the preconditions for an operation to be carried out while leaving implicit how and when an operation is triggered and what other operations might run in parallel. + +This OTP library is a framework for programming with Petri nets. It implements a very general form of Petri nets using Erlang terms as tokens. I.e., tokens are not only markers but can be any conceivable data structure. Furthermore, a place can hold any number of tokens not just one. + +While many simulation libraries only mimic the concurrent behavior of Petri nets, the `gen_pnet' library allows the definition of nets with an arbitrary number of transitions competing for a place's tokens neither imposing order in the form of an orverarching loop nor otherwise constraining parallelism. -This OTP library is a framework for programming with Petri Nets. It implements a very general form of Petri Nets: Colored Petri Nets (CPN). I.e., tokens may not only be markers but can be any conceivable data structure. Furthermore, a place can hold any number of tokens not just one. -While many simulation libraries only mimic the concurrent behavior of Petri Nets, the `gen_pnet' library allows the definition of Nets with an arbitrary number of transitions competing for a place's tokens neither imposing order in the form of an orverarching loop nor otherwise constraining parallelism. <h2>Quick Start</h2> diff --git a/src/gen_pnet.app.src b/src/gen_pnet.app.src new file mode 100644 index 0000000..71bf436 --- /dev/null +++ b/src/gen_pnet.app.src @@ -0,0 +1,15 @@ +{application, gen_pnet, + [{description, "An OTP behavior for implementing Petri nets."}, + {vsn, "0.1.0-release"}, + {registered, []}, + {applications, + [kernel, + stdlib + ]}, + {env,[]}, + {modules, [gen_pnet]}, + + {maintainers, ["Jorgen Brandt <brandjoe@hu-berlin.de>"]}, + {licenses, []}, + {links, []} + ]}. diff --git a/src/gen_pnet.erl b/src/gen_pnet.erl index 1ec8518..e5d7df5 100644 --- a/src/gen_pnet.erl +++ b/src/gen_pnet.erl @@ -1,7 +1,7 @@ %% -*- erlang -*- %% %% -%% A generic Petri net OTP library +%% An OTP behavior for implementing Petri nets. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. diff --git a/src/pnet.app.src b/src/pnet.app.src deleted file mode 100644 index 747100a..0000000 --- a/src/pnet.app.src +++ /dev/null @@ -1,15 +0,0 @@ -{application, pnet, - [{description, "An OTP library"}, - {vsn, "0.1.0-snapshot"}, - {registered, []}, - {applications, - [kernel, - stdlib - ]}, - {env,[]}, - {modules, []}, - - {maintainers, []}, - {licenses, []}, - {links, []} - ]}.