We accept

Snoopy Tool Evaluation

Snoopy is a tool which is used for building and animating hierarchical graphs along with others Petri nets. Snoopy also provides the facility to construct Petri nets and allows computer animation and simulation of the resulting token movement. This tool is employed to verify technical systems specifically software-based systems and natural systems e. g. transmission transduction, biochemical sites as metabolic and gene regulatory networks. Snoopy is in use for awareness of the qualitative network framework of any model under specific kinetic aspects of the specified Petri net school and research of Petri online models in a number of complementary conducts. Simultaneous consumption of different Petri net classes in Snoopy is one of its remarkable features. Other features are:

  1. It is extensible as its general design products the execution of new Petri net classes.
  2. It is adaptive as much models can be utilized simultaneously.
  3. It is system self-employed as it is executable on all common os's e. g. linux, mac, windows.

Two particular types of nodes i. e. reasonable nodes and macro nodes are meant for supporting the systematic construction, neat arrangement and design of large Petri nets. Rational nodes become connector or multiple used places or transitions posting the same factor or function. Macro nodes allow hierarchically making of any Petri net. Snoopy allows edition and coloring of all elements in each Petri world wide web course and manual or computerized change of network structure too. Elimination of syntactical problems in the network framework of an Petri net is facilitated by the execution of the visual editor.

Editor Method:

Start Snoopy and go to Record New or press the new button in the tool club. It ends in opening of any template dialogue which allows collection of the file template.

File: New/Open up/Close Windows/Save/Save as, Printing, Export/Import, Preferences (change the default visualization) and Leave.

Edit: Undo/Redo, Select All/Duplicate/Copy in new net/Paste/Lower, Clear/Clear all, Disguise/Unhide, Edit preferred elements/Transform Shapes, Layout (automatic structure function), Type Nodes (by ID or name), Check Net (duplicate nodes, syntax, persistence) and Convert to.

View : Focus 100%/Zoom In/Zoom Out, Net Information (number of each aspect used in the model), Toogle Graphelements/Hierachy browser/Filebar/Log window, Show Features (choose for each and every elements which features to be shown in the model), Start Anim-Mode/SimulationMode/Steering-Mode.

Elements (set of all available elements): Select/ Place/Change/ Coarse Place/Coarse Change/ Immediate Transition/Deterministic Move/Scheduled Changeover/Parameter/Coarse Parameter/LookupTable, Border/Read Edge/Inhibitor Advantage/Reset Edge/Equal Advantage/Modifier Border and Comment.

Hierarchy (edit and browse hierarchy): Coarse (chosen elements are encapsulate in a macro node)/Flatten and RISE in Hierarchy/Go To First Child in Hierarchy/Go To Next Sibling in Hierarchy/o To Previous Sibling in Hierarchy.

Search : Search nodes (by ID or name).

Extra : Insert node models (visualize, e. g. , T-, P-invariants, siphons and traps), Interaction and Basic Information (title, creator, description, literature).

Window (arrange all opened up house windows): Cascade/Tile Horizontally/Tile vertically, Arrange Icons/Next/Previous and Open up Files.

Help: Help, About (current version), check update.

The tool pub holds four shortcuts that aid:

Open a fresh document.

Load a report.

Save a report.

Select an element.

All elements accessible in the current online class are shown in panel for the graph elements. Left-click using one of the elements allows user to utilize one of the elements. Right go through the respective aspect allows user to modify or select all components of the same category. All levels are exhibited in hierarchy browser and any hierarchical level can be opened in a new window with a left-click. The editor pane can be viewed as as the canvas that allows user to sketch the network. A left-click on the Editor pane activates chosen factor and places the selected factor on the canvas. Click remaining onto one node, hold the left-click, pull the line to the other node and drop the left-click, to attract an arc between two nodes. To add edges for an arc force the CRTL key and click left on the arc which facilitates the user to drag the edge with another left-click. Grid in the canvas tab may also be used for an improved orientation. Customer can also pick border styles i. e. collection or spline in the inclination dialogue in the elements tab.





Standard transition


Standard transition


Coarse place


Coarse transition


Immediate transition


Deterministic transition


Scheduled transition


Immediate Move: Immediate transitions hearth when they are allowed. The longing time is equal to zero.

Standard Move (Timed Move): A hanging around time is computed as soon as the change is empowered. The change fires if the timer elapsed zero and the transitions continues to be enabled.

Deterministic Move: Deterministic transitions open fire as soon as the set time interval elapses during the entire simulation run time. The respected deterministic transitions must be empowered by the end of each repeated interval.

Scheduled Move: Scheduled transitions fire when the fixed time period elapsed during the given time things. The individual deterministic transitions must be enabled by the end of each repeated period.





Standard edge


The changeover is enabled and could flames if both pre-places and are sufficiently designated by tokens. After firing of the changeover, tokens are removed from the pre-places and new tokens are produced on post place.

Read edge


The transition is enabled and could flames if both pre-places A and B are sufficiently designated by tokens. After firing of the move, tokens are removed from the pre-place B but not from pre-place A, new tokens are produced on post place. The firing of the transition will not change the amount of tokens on pre-place A.

Inhibitor edge


The move is enabled and may flame if pre-place B is sufficiently marked by tokens. The amount of tokens on pre-place A must be smaller than the given arc weight. After firing of the move, tokens are removed from the pre-place B but not from pre-place A; new tokens are produced on place C. The firing of the changeover does not change the amount of tokens on pre-place A.

Reset edge


The transition is enabled and could flame if pre-place B is sufficiently marked by tokens. The amount of tokens on pre-place A does not have any effect on the capability to enable the changeover and impacts only the kinetics. After firing of the changeover, tokens are removed from the pre-place B relating the arc weight and all tokens on pre-places A are erased; new tokens are produced on place C.

Equal edge


The move is enabled and could fire if number of tokens on pre-place A is add up to the equivalent arc weight and place B is sufficiently marked. After firing of the move, tokens are taken off the pre-place B however, not from preplace A; new tokens are produced on place C. The firing of the change will not change the quantity of tokens on pre-place A.

Modifier edge


The transition is enabled and could open fire if pre-place B is sufficiently marked with tokens. The quantity of tokens on pre-place A does not have any effect on the capability to enable the change and affects only the kinetics. After firing of the transition, tokens are removed from the pre-place B however, not from pre-place A; new tokens are produced on place C. The firing of the move does not change the quantity of tokens on pre-place A.



Meaning of function

BioMassAction(. )

Stochastic legislation of mass action. Tokens are interpretated as single


BioLevelInterpretation(. )

Stochastic law of mass action. Tokens are interpretated as attention.

ImmediateFiring(. )

Refers to immediate transitions.

TimedFiring(. )

Refers to deterministic transitions.

FixedTimedFiring Solo(. )

Refers to deterministic transitions that only res once after confirmed timepoint

FixedTimedFiring(. , . , . )

Refers to scheduled transitions.

abs(. )

Absolute value

acos(. )

Arc cosine function

asin(. )

Arc sine function

atan(. )

Arc tangent function

ceil(. )

Rounding up

cos(. )

Cosine function

exp(. )

exponential function

sin(. )

Sine function

sqrt(. )

Square root

tan(. )

Tangent function

floor(. )

Round off

log(. )

Natural logarithm with frequent e as base

log10(. )

Common logarithm with continuous 10 as base

pow(. )



Parameters are used for defining specific variables and rate or weight functions but cannot define the amount of tokens on a particular place. Third group of macro elements are coarse parameters which facilitate encapsulating parameters. High numbers of parameters are not obvious on the top-level or can be categorized by the use of coarse parameters.

Animation method:

Snoopy allows individual to observe the token movement in animation function which starts off by pressing F5 or going to see and then start AnimationMode. It will result in starting a new windows which allow individual to steer the animation. This part of snoopy is very beneficial to catch a first manifestation of the causality of the model and its workings as it offers information about the transitions too. To be able to understand modeled system, playing with the token movement prove to be worthwhile. The token stream can be cartoon manually by an individual click on the transition. A message box is shown revealing a message "This transition is not empowered" when individual tries to flames a transition that's not allowed. Clicking-left and clicking-right on a place supports addition of tokens and removal of tokens respectively. Computer animation of the token flow can be controlled utilizing the radio control keys present on the animation steering panel. Usage of radio buttons will involve step-wise forwards and backward or sequentially as long as one changeover can be empowered, usually a notification "Deceased State: You will find no more empowered transitions" is shown on display.

Simulation Mode

Pressing F6, heading to view/Start Simulation or using the stochastic simulation button on the computer animation control panel, are three ways to perform stochastic simulations with the current model in the lively window. Facilities of the setting include simulation of the time-dependent strong tendencies of the model indicated by the token circulation or the firing rate of recurrence of the transitions. The fluctuating attention levels or the discrete volume of the components over time is mentioned by the token flow. This provides the feeling of the time-dependent changes in model in mind which is helpful in understanding the wet-lab system. More than a few simulation studies can be carried out with considered model by manipulating the framework and perturbing the initial express and kinetics. All results can be physically and automatically exported in the standard *. csv-format and can be analyzed in other mathematical programs.

Simulation Control:

The simulation control allows collection of main adjustments and individualities for the simulation. It splits further into four panels:

  • Configuration Packages: Modification of configuration units is completed by release of one entries or addition of new pieces and picking the settings sets that is suited to the simulation run.
  • Simulation Properties: It includes arranging interval start i. e. time point where simulation starts, interval end i. e. time items where simulation ends and output step count i. e. quantity of time-points that needs to be viewed in the given interval.
  • Export Properties: Various programmed export options are accessible to the *. csv-format.
  • Start Simulation: It'll initiate simulation with the picked options and properties. Improvement of simulation is mentioned by the club and the required time is exhibited below.

Viewer/Node Choice:

It facilitates individual by providing choices in showing simulation results. It is divided into two panels:

  • Viewer Choice: It offers user an option to select one between data dining tables and data plots. Provided switches in -panel allow user to edit, add and delete the data desks and data plots. Token flow (places) or the firing consistency (transitions) can be displayed in a data table or data story.
  • Place Choice: Individual can make those nodes which should be displayed in the data table or data storyline.


This -panel allows displaying the simulation results as data stand or data plot. If data desk is chosen, the token circulation for the decided on places is offered in a table. Some options which are used for model checking are present at the bottom of the screen. If data plot is chosen, the x-axis displays the time-interval and the y-axis indicates the average volume of tokens. View of the plot can be modified via the buttons located below i. e. compress/stretch x-axis, compress/stretch y-axis, focus in/out and centre view. A csv export button allows customer to export the simulation results of the picked places manually. Image of the existing plot can be saved by using print out button.

Model Checking Mode:

Snoopy is enabled to perform model verifying of linear-time properties based on the stochastic simulation. A subset of probabilistic linear-time temporal reasoning (PLTL) is utilized to formulate and authenticate properties. Various top features of snoopy also include checking several features at exactly the same time. To be able to perform model examining in Snoopy, user needs to open the simulation windows and choose the desk view. To execute model looking into all simulation traces, individual have to get into or load a house that is checked out by simulating the time-dependent vibrant behavior. Simulation screen allows following options:

  • Enter Talk about Property: User can specify a property in the dialogue box no model checking is performed if it is empty.
  • Load point out property: Consumer can load a house which is defined in a word file.
  • Check point out property: It refers to model checking which is conducted on the basis of average habit of the prior simulation.

Simulation run matter is of assist with state lots of simulation traces to which model examining can be applied. It splits into two types:

  • Default value 1 run: Consumer is only able to get the info if the described property holds true or is not bogus.
  • Arbitrary amount of runs: The number of simulation runs helps defining probability of the described properties as high accuracy and reliability calls for lot of simulation works.

User can establish the time period where model checking should be employed with the help of interval start and period end.

A log windows displays model examining results which includes following elements:

Formula shows the formula checked out during simulation.

Runs indicate the number of simulation works performed.

Runtime shows the number of threads used for simulation.

Threads display the amount of threads used for simulation.

Prop indicate the computed likelihood for the formula.

S ^2 exhibits the variance of the possibility.

Confidence Interval indicates the size of the confidence period.

[a, b] unveils the period of the likelihood that is computed from the assurance interval

More than 7 000 students trust us to do their work
90% of customers place more than 5 orders with us
Special price $5 /page
Check the price
for your assignment