Search Results for "petri-foo"
Sort By:
Showing 27 open source projects for "petri-foo"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
WSLGit
Use Git installed in Bash on Windows/Windows Subsystem for Linux (WSL)
...Use Git installed in Bash on Windows/Windows Subsystem for Linux (WSL) from Windows and Visual Studio Code (VSCode) The primary reason for this tool is to make the Git plugin in Visual Studio Code (VSCode) work with the git command installed in WSL. For these two to interoperate, this tool translates paths between the Windows (C:\Foo\Bar) and Linux (/mnt/c/Foo/Bar) representations. The install.bat script creates a folder structure similar to the one used by Git For Windows, and creates some useful symbolic links in the wslgit\cmd and wslgit\bin folders. VSCode will find the git executable automatically if the two optional installation steps were taken. -
2
Doctrine extensions for PHPStan
Doctrine extensions for PHPStan
...Provides correct return for Doctrine\ORM\EntityManager::getRepository(). Provides correct return type for Doctrine\ORM\EntityManager::find, getReference and getPartialReference when Foo::class entity class name is provided as the first argument. Queries are analyzed statically and do not require a running database server. This makes use of the Doctrine DQL parser and entities metadata. -
3
body-parser
Node.js body parsing middleware
...As req.body's shape is based on user-controlled input, all properties and values in this object are untrusted and should be validated before trusting. For example, req.body.foo.toString() may fail in multiple ways, for example the foo property may not be there or may not be a string, and toString may not be a function and instead a string or other user input. The bodyParser object exposes various factories to create middlewares. All middlewares will populate the req.body property with the parsed body when the Content-Type request header matches the type option, or an empty object ({}) if there was no body to parse, the Content-Type was not matched, or an error occurred. -
4
Sizzle
A sizzlin' hot selector engine
...Workarounds for Internet Explorer 6 are still in the code but the browser is no longer actively tested. Sizzle supports virtually all CSS 3 Selectors, including escaped selectors (.foo\+bar), Unicode selectors, and more. -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
HTM
JSX alternative using standard tagged templates, with compiler support
...The syntax you write when using HTM is as close as possible to JSX. htm actually takes the JSX-style syntax a couple steps further! No transpiler necessary. HTML's optional quotes: <div class=foo>. Component end-tags: <${Footer}>footer content<//>. Syntax highlighting and language support via the lit-html VSCode extension and vim-jsx-pretty plugin. Multiple root element (fragments): <div /><div />. Support for HTML-style comments: <div><!-- comment --></div>. htm is published to npm, and accessible via the unpkg.com CDN. If you're using Preact or React, we've included off-the-shelf bindings to make your life easier. ... -
6
rust_cmd_lib
Common rust command-line macros and utilities
...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. ... -
7
The Lean Mean C++ Option Parser
A no-dependencies C++ program arguments parser
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. -
8
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.
-
9
SEPIA: Security-oriented PN Framework
Petri net framework for security related modeling and reasoning.
SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and persons/agents participating in the process execution. ... -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
petrinet-doc
A language to describe petri nets.
Describes petri nets as front end of graphviz' dot language. -
11
argparse4j
Command line argument parser library for Java
The argparse4j is a command line argument parser library for Java based on Python's argparse. -
12
PETRILab
Simulador de Redes de Petri Interpretadas para Controle
O PETRILab é um software multiplataforma desenvolvido inteiramente em Python. Ele permite a modelagem e simulação de Redes de Petri Interpretadas para Controle (RPIC), tendo suporte a todos seus elementos: lugares, transições, arcos ordinários e inibidores, eventos, condições e ações. Com uma interface gráfica simples e intuitiva, o usuário consegue modelar e simular passo-a-passo sua RPIC de forma rápida e prática, afim de estudá-la e aprimorá-la. Além disso, o software conta com uma conversão automática de RPICs em diagramas Ladder, como proposto no artigo de M. ... -
13
DummyXmlParser
Java XML parser / binder
...(like JAXB). Written from scratch to avoid some legacy problems. Code sample: import javax.xml.bind.annotation.XmlElement; import dummyxmlparser.XmlBinder; public class Foo { @XmlElement public String counter; public static void main(String[] args) throws Exception{ Foo foo= XmlBinder.fromXml(Foo.class, "<Foo><counter>42</counter></Foo>"); assert foo.counter.equals("42"); } } -
14
PetriOpti
Petri network optimization with Martinez-Silva algorithm
A simply application in order to demonstrate Martinez-Silva optimization algorithm on Petri networks. -
15
QPNet
Synchronous Petri Nets' emulator
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 это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать. -
16
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.
-
17
PetriNetExec: Java Embeddable Petri Nets
PetriNetExec a library for embedding Petri Nets into Java applications
.... * 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. -
18
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.
-
19
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.
-
20
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.
-
21
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
-
22
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
-
23
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.
-
24
-
25
Petri Nets Editor
Simple petri net editor
Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution. This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling". Feel free to make any changes to the current version or ask me if you have any question.
