Struct pnets::standard::Net

pub struct Net {
    pub name: String,
    pub transitions: IndexVec<TransitionId, Transition>,
    pub places: IndexVec<PlaceId, Place>,
    // some fields omitted
}

Standard Petri net, with only produce and consume arcs

This structure is indexed with PlaceId and TransitionId to allow easy access to places and transitions.

As this kind of network is a subset of timed Petri net, so we can create one from timed Petri net (but you loose arc::Kind::Inhibitor, arc::Kind::StopWatch and arc::Kind::StopWatchInhibitor arcs and timings).

Fields

name: String

Name of this network

transitions: IndexVec<TransitionId, Transition>

Transitions of the network

places: IndexVec<PlaceId, Place>

Places of the network

Implementations

impl Net

pub fn create_place(&mut self) -> PlaceId

Create a place in the network without name and return its index

pub fn create_transition(&mut self) -> TransitionId

Create a transition in the network without name and return its index

pub fn get_name_by_index(&self, index: &NodeId) -> Option<String>

Get node name with its id

pub fn get_index_by_name(&self, name: &str) -> Option<NodeId>

Get node id with its name

pub fn rename_node(&mut self, id: NodeId, name: &str) -> Result<(), NetError>

Rename node

pub fn add_arc(&mut self, arc: Kind) -> Result<(), NetError>

Add an arc in the network. This kind of network support only arc::Kind::Consume and arc::Kind::Produce arcs.

Errors

Return NetError::UnsupportedArc when trying to add a kind of arc which is not supported

pub fn delete_place(&mut self, place: PlaceId)

Disconnect a place in the network

The place is not really deleted to avoid memory relocation and extra information about this place such as name can be useful later.

pub fn delete_transition(&mut self, transition: TransitionId)

Disconnect a transition in the network

The transition is not really deleted to avoid memory relocation and extra information about this transitions such as name can be useful later.

pub fn clone_place(&mut self, old_pl: PlaceId) -> PlaceId

Clone an existing place with all its arcs

pub fn new_without_disconnected(
    &self
) -> (Net, IndexVec<TransitionId, TransitionId>, IndexVec<PlaceId, PlaceId>)

Create a new network without all disconected nodes and without labels to avoid extra memory consumption.

It returns a new network and the mapping between old indexes and new indexes.

Trait Implementations

impl Clone for Net

fn clone(&self) -> Net

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Net

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Net

fn default() -> Net

Returns the “default value” for a type.

impl From<&'_ Net> for Net

fn from(standard: &Net) -> Self

Performs the conversion.

impl From<Net> for Net

fn from(timed: Net) -> Self

Performs the conversion.

impl Index<PlaceId> for Net

type Output = Place

The returned type after indexing.

fn index(&self, index: PlaceId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<TransitionId> for Net

type Output = Transition

The returned type after indexing.

fn index(&self, index: TransitionId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl IndexMut<PlaceId> for Net

fn index_mut(&mut self, index: PlaceId) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl IndexMut<TransitionId> for Net

fn index_mut(&mut self, index: TransitionId) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.