Search Results for "petri-foo"

...It provides macros and utilities that let you spawn external processes, redirect input/output, and pipe commands together, all without invoking a shell. You can write something like run_cmd!(ls -l | grep foo > out.txt) in a more declarative style, rather than manually wiring up file descriptors, handles, and child processes. The library also supports features like variable substitution, scoped environment settings, and defining custom commands (functions) that behave like built-ins. It hides much of the boilerplate of std::process::Command when you're doing simple task automations, but still allows full flexibility when needed. ...

The Lean Mean C++ Option Parser handles the program arguments (argc, argv). It supports the short and long option formats of getopt(), getopt_long() and getopt_long_only() but has a more convenient interface. It is a freestanding, header-only library with no dependencies, not even libc or STL. It comes with a usage message formatter that supports column alignment and line wrapping, making it ideal for localized messages with different lengths.

QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать.

IMPORTANT NOTICE: This project has moved to GitHub: https://github.com/sarahtattersall/PIPE Releases will be posted here, but please check on GitHub for the most recent activity. 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.

.... * PetriNetExec is embeddable into your Java application. This means that you can build your own application and add Petri Nets into it. * PetriNetExec is open-source.

A comprehensive business framework to enable sophisticated enterprise workflows. Define, simulate and deploy cross-platform workflows while being able to enrich and customize the core services on demand.

A simple visual editor for drawing OPJ models; these models represents an extension to the classic Petri-net diagram; they were developed before the unification of OO methodologies and the relative release of the first UML specification.

Rakiura JFern - lightweight Petri Net framework. Engine with the GUI simulator, written in Java and designed for Java developers. Supports multiple inscription languages: Java, Kawa, BeanShell and Clojure.

Light workflow engine for developers built in Java. It is designed to be simple, versatile and focused on the developer. It includes a Petri Nets graphical process designer integrated to Eclipse and a query language similar to OQL

Commonj Jboss Service based on myFoo implementation. This mbean is useful when you want run WorkManager and Timer under jboss. (ex. porting apps from ibm or bea to jboss). Use Foo-CommonJ as JSR 237 Implementation

Bossa is a workflow engine written in Java. The engine is very fast and lightweight, uses a very expressive Petri net notation to define workflows, does not requires a RDBMS and is very simple to use and to integrate with java applications.

The PNMP (Petri Nets Modeling Platform) project aims at providing, in collaboration with Eclipse EMF, GMF, PNML Framework, and other future projects, a comprehensive approach to MDD for Embedded Systems on top of the Eclipse Project platform.