Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.547.143 Times

SNAKES 0.8.3

  Date Added: January 27, 2010  |  Visits: 599

SNAKES

Report Broken Link
Printer Friendly Version


Product Homepage
Download (77 downloads)



SNAKES is a Python library that provides all then necessary to define and execute many sorts of Petri nets, in particular those of the PBC and M-nets family. Its main aim is to be a general Petri net library, being able to cope with most Petri nets models, and providing the researcher with a tool to quickly prototype its new ideas. SNAKES should be suitable to provide the data model for editors or simulators; actually, any editor that use SNAKES may also be a simulator as SNAKES can execute any net. A key feature of SNAKES is the ability to use arbitrary Python objects as tokens and arbitrary Python expressions in many points, for instance in transitions guards or arcs outgoing of transitions. This is what makes SNAKES that general. This relies on the capability of Python to run dynamically provided Python code (the eval function). This feature may not be efficient enough for model-checking: speed is the price to pay for the wide generality. However, in the case of a new model, SNAKES may happen to be the only available tool. Another important feature of SNAKES is the plugin system that allows to extend the features and work with specialised classes of Petri nets. Currently, the following plugins are provided: pos adds to nodes the capability of holding their position. Nodes can be moved or shifted, Petri nets can be shifted globally and their bounding box can be computed. graphviz adds a method to draw a Petri net using the tool GraphViz. The layout is provided by the user that provides the coordinate of the nodes (using the plugin pos). status extends the Petri net model by adding status to the nodes. This is similar to what is used in the models of the PBC or Mnets family. Nodes can then merged automatically according to their status. ops this plugins defines control flow operations on Petri nets usually found in the PBC and Mnets family. Nets can be composed in parallel, sequence, choice and iteration. These operations rely on the places status. posops combines the features of pos and ops plugins: the control flow operations are modified in order to rearrange the nodes position in order to provide well shaped nets. lashdata allows to define data that is not handled in the places of the Petri net but stored instead in the special structures handled by the library Lash. This allows in particular to aggregate possibly infinite states into one meta-state. Whats New in This Release: - The GraphViz plugin has been improved..

Requirements: No special requirements
Platforms: Linux
Keyword: Execute Library Miscellaneous Nets Nodes Pbc Petri Petri Net Petri Nets Python Python Library Science Snakes
Users rating: 0/10

License: Freeware Size: 798.72 KB
USER REVIEWS
More Reviews or Write Review


SNAKES RELATED
Libraries  -  Python Imaging Library 1.1.5
The Python Imaging Library (PIL) adds image processing capabilities to your Python interpreter. This library supports many file formats, and provides powerful image processing and graphics capabilities. The current free version is PIL 1.1.5,...
430.08 KB  
Libraries  -  Python SRS Library 0.30.11
Python SRS Library is a Python implementation of the Sender Rewriting Scheme. Python SRS Library is a fairly direct translation of the draft implementation in Perl by Shevek. It includes a test suite, which currently checks four levels of...
37.89 KB  
Libraries  -  Chilkat Python XML Library 5.1
Python XML library for parsing and creating XML. Advanced API for XML compression, XML encryption, and handling XML binary content. Fully internationalized to handle any language / character encoding.
1.91 MB  
Modules  -  Python X Library 0.14rc1 1.0
The Python X Library is a complete X11R6 client-side implementation. The Python X Library is intended to be a fully functional X client library for Python programs. It is written entirely in Python, in contrast to earlier X libraries for Python...
 
Scientific and Engineering  -  The Python Macromolecular Library 1.0.0
The Python Macromolecular Library (mmLib) is a software toolkit and library of routines for the analysis and manipulation of macromolecular structural models, implemented in the Python programming language. It is accessed via a layered,...
 
3D Graphic Tools  -  PIL 1.1.5
The Python Imaging Library (PIL) adds image processing capabilities to your Python interpreter. This library supports many file formats, and provides powerful image processing and graphics capabilities. This source kit has been built and tested...
430.08 KB  
Libraries  -  Thousand Parsec Python Network Library 0.2.0
Thousand Parsec is a 4 Xs game (eXplore, eXpand, eXterminate, eXploit). Unlike commercial alternatives, it is designed for long games supporting universes as large as your computer can handle. Thousand Parsec Python Network Library allows a high...
133.12 KB  
Science  -  Another Python Graph Library 0.7
This project develops a simple, fast and easy to use Python graph library using NumPy, Scipy and PySparse.
102.67 KB  
Image Galleries  -  Watermark with PIL 1.0
This script applies a watermark to an image using the Python Imaging Library. It supports color, tiling, scaling, and opacity reduction. Use the watermark function to blend a watermark into an image. The image and watermark are PIL images. The...
 
Programming  -  testtools 0.9.14
testtools is a set of extensions to the Python standard library's unit testing framework. These extensions have been derived from years of experience with unit testing in Python and come from many different sources. testtools also backports...
143.36 KB  
NEW DOWNLOADS IN EDUCATION, SCIENCE
Education  -  KB Piano 2.5.2
KB Piano will turn your computer into a piano and more. Easily create song with multiple instruments (guitar, bass, drums, and vocals from your microphone). If you don't know music theory, use the application tools to automatically create...
10.61 MB  
Education  -  EgoNet for Linux 2011-03-31
Egonet is a program for the collection and analysis of egocentric network data. It helps you create the questionnaire, collect data, and provide general global network measures and data matrixes that can be used for further analysis by other...
10.87 MB  
Education  -  Vectronics 0.2
Vectronics is a way to share schematics. It makes quick svg images that can be displayed in a browser and reopened and reedited as a schematic. Hyperlinks can also be added to link to data sheets or source code. It is a simple xml based drawing...
399.36 KB  
Education  -  Learn Words 0.1
This program helps you to learn words of foreign languages. You can type in the words and their meanings and then the computer asks them and rates you. You can also grab the words from a file and look up their meanings with the included electronic...
61.44 KB  
Education  -  Familier for Linux 0.91.12
Familier is cross-platform Family Tree management (Genealogy) Software using QT. It supports viewing/editing file tree using drag-drop in multiple ways. Events allow you to define events in any number.
5.88 MB  
Science  -  SVDetect 0.7m
SVDetect is a application for the isolation and the type prediction of intra- and inter-chromosomal rearrangements from paired-end/mate-pair sequencing data provided by the high-throughput sequencing technologies This tool aims to...
593.92 KB  
Science  -  irs Word Builder 1.0
irs feelings is a free and open source application which allows children to communicate their feelings. irs feelings is developed for children with ASD (autism/autistic spectrum disorder) and behavioral/emotional problems It allows...
61.44 KB  
Science  -  Stellarium for Linux 0.11.0
Stellarium is a free GPL software which renders realistic skies in real time with openGL. Stellarium is available for Linux/Unix, MacOSX and Windows. With Stellarium, you really see what you can see with your eyes, binoculars or a small...
43.57 MB  
Science  -  irs feelings 1.0
irs Words is a program developed to help children understand sentence structure. Highly recommended by NASEN Special magazine, it is used by teachers and speech therapists. irs has designed small desktop programs to work as learning...
61.44 KB  
Science  -  Maxima for Linux 5.16.3
Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, and sets, lists,...
19.01 MB