Struct pns::Net

#[repr(C)]pub struct Net {
    pub transition_count: u32,
    pub place_count: u32,
    // some fields omitted
}

A type representing a petri net. It only stores the initial state, not the state used for simulatoin.

Fields

transition_count: u32

The count of transitions of the petri net

place_count: u32

The count of places of the petri net

Methods

impl Net

pub fn new() -> Net

Create a new, empty petri net.

pub fn load(filename: &str) -> Option<Net>

Load a petri net from a file.

pub fn remove_transition(&mut self, tid: u32)

Remove a transition at index tid from petri net.

pub fn connect_in(&mut self, tid: u32, pid: u32) -> bool

Make a connection into transition with index tid from place with index pid. Result represents success.

pub fn disconnect_out(&mut self, tid: u32, pid: u32)

Remove the connection out from transition with index tid to place with index pid.

Trait Implementations

impl Clone for Net

fn clone(&self) -> Self

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 Drop for Net

fn drop(&mut self)

Executes the destructor for this type.

impl SafeNet for Net

fn save(&self, filename: &str) -> bool

Save the petri net to a file. Result represents success.

fn transitions(&self) -> &[Node]

A slice of nodes representing the transitions of the petri net.

fn places(&self) -> &[Node]

A slice of nodes representing the places of the petri net.

fn initial_token_counts(&self) -> &[u32]

A slice of initial token counts for the places of the petri net.

fn add_place(&mut self) -> u32

Add a new place to the petri net and get the index.

fn add_transition(&mut self) -> u32

Add a new transition to the petri net and get the index.

fn add_connected_transition(&mut self, pids: &[u32]) -> u32

Add a new transition to the petri net, connct it to the specified places and get the index.

fn remove_place(&mut self, pid: u32)

Remove a place at index pid from petri net.

fn connect_out(&mut self, tid: u32, pid: u32) -> bool

Make a connection out from the transitoin with index tid to place with index pid. Result represents success.

fn disconnect_in(&mut self, tid: u32, pid: u32)

Make a connection into transition with index tid from place with index pid.

fn duplicate_transition(&mut self, tid: u32) -> u32

Duplicate the transition and get the index of the clone.

fn duplicate_place(&mut self, pid: u32) -> u32

Duplicate the place and get the index of the clone.

fn start(&mut self, pid: u32, count: u32) -> u32

Increase the initial token count in place indexed by pid.

fn dynamic(self) -> DynamicNet

Creates a dynamic net type from a net.