Petri Net Editor

Petri Net Editor is a small, easy to use, Java based application specially designed to offer users an editor for stochastic Petri-nets. This tool is designed to also allow you to create reachability trees and Markov graphs, simulate and gather statistics on simulation. for WindowsAll Platforms: Windows

Create, model and analyse Petri nets with a standards-compliant Petri net tool. PIPE2 is the active fork of the Platform Independent Petri net Editor project, which originated at Imperial College London. Platforms: Windows, Mac, Linux

PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files. Platforms: Windows, Mac, Linux

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... Platforms: *nix

The project JPetriNet is a Petri Net modeling, analysis and simulation tool made in Java Programming Language. JPetriNet was previously intended to aid educational activities but also could be used in any other purpose involving concurrent systems. Platforms: Windows, Mac, Linux

RichTextEditor.NET is an easy-to-use, professional content editor for ASP.NET. You can use the intuitive Word-like interface which RichTextEditor.NET offers to replace any TextBox in your ASP.NET application. Even non-technical users can author and manage HTML using this component.... Platforms: Windows

Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic. Platforms: *nix

Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic. Platforms: Windows, Mac, BSD, Linux

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 using the tool Fiona, - check for deadlocks or any... Platforms: *nix

WoPeD (Workflow Petri Net Designer) is an open-source software developed at the Cooperative State University Karlsruhe under the GNU Lesser General Public License (LGPL). The main goal of this tool is to provide an easy-to-use software tool for modelling, simulating and analyzing workflow process... Platforms: Mac

VLE is a multi-modeling and simulation environment to study complex dynamic systems. VLE is based on the discrete event specification DEVS. and it implements the DSDE formalism (A merge of Dynamic Structure DEVS, DSDEVS, with Parallel DEVS, PDEVS). VLE provides a complete set of C++ libraries,... Platforms: Windows, Mac, BSD, Linux

.NET WYSIWYG HTML Editor is 100% freeware that used to design the HTML pages. It has 3 modes: 'Design' - the WYSIWYG HTML editor, 'Source' - view or write HTML code manually, 'Preview' - see the actual effect. It provides you with the following features/functions: save to HTML file, get HTML... Platforms: Windows

Zeta Resource Editor is a free application that enables you to edit standard Microsoft .NET string resources from multiple different resource files together inside one single data grid. This simplifies the translation of strings to multiple different languages by providing you a compact and... Platforms: Windows

Document.Editor is an open source multitab VB.Net/WPF Ribbon UI based word processor for Windows Vista, Windows 7 and Windows 8/8.1. Includes support for opening FlowDocument, Docx(text only), Html and plain/rich text formats and support for saving FlowDocument, Docx(text only), Html and... Platforms: Windows 8, Windows 7, Windows

Dotnet IL Editor (DILE) allows disassembling and debugging .NET 1.0/1.1/2.0/3.0/3.5 applications without source code or .pdb files. It can debug even itself or the assemblies of the .NET Framework on IL level. Platforms: Windows

Smart Table Editor is a powerful database editor for free designed to work in asp.net with IIS. Supports Microsoft Access 2003/2007 and Microsoft SQL Server databases. Allows you to view all the tables in any database and lets you edit, delete, insert new record by handling the validation of... Platforms: Windows

This is a simple editor with text coloring. You can: Edit next types of files: C/C++ (.c, .cpp, .h), C# (.cs), Java (.java), Ix86 Assembler (.asm, .inc), Resources (.rc), Xml (.xml, .config), Java Script (.js), Cascading Style Sheets (.css), Html (.html, .htm), ASP.NET(.aspx, .asmx, .ascx,... Platforms: Windows

ksubeditor is a DivX subtitle editor for KDE 3.x. It is able to edit and convert subtitles between different subtitle formats. It can easily change the time of the subtitle and fit it to the movie.. Get KDE DivX subtitles editor at SourceForge.net. Fast, secure and free downloads from the largest... Platforms: *nix

The GTK Ogg Vorbis Tag Editor allows you to edit the tag information in ogg vorbis files. The following basic libraries are necessary for assembly of the program: GTK 1.2.5 or is higher (http://www.gtk.org) Ogg Vorbis the library of the version 1.0beta3 or above (is desirable from CVS)... Platforms: *nix

Ogg Vorbis Tag Editor for XMMS is a plugin for XMMS which allows you to edit the tags in ogg vorbis files. The editor is built into the vorbis plugin for XMMS.. Get GTK Ogg Vorbis TAG Editor at SourceForge.net. Fast, secure and free downloads from the largest Open Source applications and software... Platforms: *nix