Module default_pnet

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()

• ServerName = gen_pnet:server_name()

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

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

trsn_lst() -> [atom()]