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

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

Serving Software Downloads in 956 Categories, Downloaded 50.440.674 Times

Fiona 32

Company: informatik.hu-berlin.de
Date Added: September 14, 2012  |  Visits: 254

Fiona

Report Broken Link
Printer Friendly Version


Product Homepage
Download (44 downloads)



Fiona is a tool to automatically analyze the interactional behavior of a given oWFN. It provides two techniques: it checks for the controllability of the given net by computing the interactiong graph and it calculates the operating guideline for the net.

Requirements: No special requirements
Release Date: September 14, 2012
Platforms: Windows, BSD, Mac, Solaris, Linux
Users rating: 0/10

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


FIONA RELATED
Wallpaper Tools  -  La Familia de Shrek
Shrek, Fiona (on this occasion after going back to being an ogress) and Donkey are the principle characters of the Shrek saga. Fans of this movie series can now decorate their desktops with their idols thanks to this wallpaper that reflects family...
2 KB  
Programming  -  GNU BPEL2oWFN 2.0.0
GNU BPEL2oWFN project translates a web service expressed in WS-BPEL (Web Service Business Process Execution Language) into an oWFN (open Workflow Net). This oWFN can be used to: - check for controllability or generate the operating guideline...
737.28 KB  
NEW DOWNLOADS IN PROGRAMMING, LIBRARIES
Programming  -  MacX Free iMovie Video Converter 4.1.8
MacX Free iMovie Video Converter is a professional free iMovie video converter for Mac that can convert any SD and HD videos such as M2TS, MKV, AVI, WMV, FLV, VOB, 3GP and more to iMovie accepted video formats MOV & MP4 for importing to iMovie...
22.92 MB  
Programming  -  SwapList 0.1 Alpha
Java list implementation that swaps list items to a disk file in order to avoid out-of-memory error.
10.24 KB  
Programming  -  Mano 1.05 Beta
Mano is a makeFile navigator containing a tree grouping the targets.
20.48 KB  
Programming  -  Workhorse 1.2
Workhorse automates tedious file transfer and deletion tasks. Just tell it when or how often you want it to run, fill in the details, and let it do it's job! Do you know Applescript? Use Workhorse to run your scripts at a given time or interval....
225.28 KB  
Programming  -  PLT Scheme (formerly DrScheme) Darwin (PPC) 4.2
PLT Scheme is an interactive, integrated, graphical programming environment for the Scheme, MzScheme, and MrEd programming languages. PLT Scheme provides source highlighting for syntax and run-time errors, support for multiple language...
38.27 MB  
Libraries  -  TreeConf 0.1.20111126.beta
A free and light configuration framework library for Java. It changes completely the way you use configuration for your software. Compared to existing frameworks, it enables simpler, easier to read code. Be ready to change your view on configuration!
7.39 KB  
Libraries  -  Amethyst Network Library 0.1.2
The Amethyst Network Library is a Java-based network library developed specifically for the Java platform. This library can be used within any Java application to streamline and abstract the I/O of Java Sockets.
49.2 KB  
Libraries  -  luanotify 0.1
LuaNotify is inspired on many libraries that do event dispatching, like py-notify, GSignals, QT event system, wxWidgets event system, etc. Making easier to implement lua software using Notifier/Observer pattern.
162 KB  
Libraries  -  JInsect 1.0
The JINSECT toolkit is a Java-based toolkit and library that supports and demonstrates the use of n-gram graphs within Natural Language Processing applications, ranging from summarization and summary evaluation to text classification and indexing.
777.97 KB  
Libraries  -  QVT-Rel2Op 1.0.0
QVT-Rel2Op translates QVT-Relations model-transformation specifications to the imperative QVT Operational Mappings language. It is based on EMF, openArchitectureWare, ANTLR and the QVT-Parser project.
6.46 MB