Behaviours: gen_pnet.
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 |
code_change(OldVsn::term(), NetState::term(), Extra::term()) -> {ok, term()} | {error, term()}
fire(Trsn::atom(), Mode::#{atom() => [term()]}, UsrInfo::term()) -> abort | {produce, #{atom() => [term()]}}
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(Request::term(), NetState::term()) -> noreply | {noreply, #{atom() => [term()]}, #{atom() => [term()]}} | {stop, term()}
handle_info(Info::term(), NetState::term()) -> noreply | {noreply, #{atom() => [term()]}, #{atom() => [term()]}} | {stop, term()}
init(Args::term()) -> {ok, term()}
init_marking(Place::atom(), UsrInfo::term()) -> [term()]
is_enabled(Trsn::atom(), Mode::#{atom() => [term()]}, UsrInfo::term()) -> boolean()
place_lst() -> [atom()]
preset(Trsn::atom()) -> [atom()]
start_link() -> gen_pnet:start_link_result()
start_link(ServerName) -> gen_pnet:start_link_result()
terminate(Reason::term(), NetState::term()) -> ok
trigger(Place::atom(), Token::term(), NetState::term()) -> pass | drop
trsn_lst() -> [atom()]
Generated by EDoc