Module default_pnet

Behaviours: gen_pnet.

Function Index

code_change/3
fire/3
handle_call/3
handle_cast/2
handle_info/2
init/1
init_marking/2
is_enabled/3
place_lst/0
preset/1
start_link/0
start_link/1
terminate/2
trigger/3
trsn_lst/0

Function Details

code_change/3

code_change(OldVsn::term(), NetState::term(), Extra::term()) -> {ok, term()} | {error, term()}

fire/3

fire(Trsn::atom(), Mode::#{atom() => [term()]}, UsrInfo::term()) -> abort | {produce, #{atom() => [term()]}}

handle_call/3

handle_call(Request::term(), From::{pid(), term()}, NetState::term()) -> {reply, term()} | {reply, term(), #{atom() => [term()]}, #{atom() => [term()]}} | noreply | {noreply, #{atom() => [term()]}, #{atom() => [term()]}} | {stop, term(), term()}

handle_cast/2

handle_cast(Request::term(), NetState::term()) -> noreply | {noreply, #{atom() => [term()]}, #{atom() => [term()]}} | {stop, term()}

handle_info/2

handle_info(Info::term(), NetState::term()) -> noreply | {noreply, #{atom() => [term()]}, #{atom() => [term()]}} | {stop, term()}

init/1

init(Args::term()) -> {ok, term()}

init_marking/2

init_marking(Place::atom(), UsrInfo::term()) -> [term()]

is_enabled/3

is_enabled(Trsn::atom(), Mode::#{atom() => [term()]}, UsrInfo::term()) -> boolean()

place_lst/0

place_lst() -> [atom()]

preset/1

preset(Trsn::atom()) -> [atom()]

start_link/0

start_link() -> gen_pnet:start_link_result()

start_link/1

start_link(ServerName) -> gen_pnet:start_link_result()

terminate/2

terminate(Reason::term(), NetState::term()) -> ok

trigger/3

trigger(Place::atom(), Token::term(), NetState::term()) -> pass | drop

trsn_lst/0

trsn_lst() -> [atom()]


Generated by EDoc