Search Results for "petri-foo" - Page 2
Sort By:
Showing 98 open source projects for "petri-foo"
View related business solutions-
$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.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
petrinet-doc
A language to describe petri nets.
Describes petri nets as front end of graphviz' dot language. -
2
argparse4j
Command line argument parser library for Java
The argparse4j is a command line argument parser library for Java based on Python's argparse. -
3
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. ... -
4
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"); } } -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
-
6
Stratagem Model Checker
Stratagem Model Checker
StrataGEM is a tool aimed at the analysis of Petri nets and other models of concurrency by means of symbolic model-checking techniques. StrataGEM marries the well know concepts of Term Rewriting (TR) to the efficiency of Decision Diagrams (DDs). TR systems are a great way to describe the semantics of a system, being readable and compact, but their direct implementation tends to be rather slow on large sets of terms. -
7
PetriOpti
Petri network optimization with Martinez-Silva algorithm
A simply application in order to demonstrate Martinez-Silva optimization algorithm on Petri networks. -
8
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 это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать. -
9
Lawnet Downloader
A lawnet downloader for students of SMU and NUS
...Download the Android version of this app at https://play.google.com/store/apps/details?id=com.customautosys.caselist This program allows cases to be downloaded from reading lists quickly, saving students' time. Author: Wilson Foo Yu Kang Maintainer, SMU: Kevin Quah Lian Shen (kevin.quah.2010@law.smu.edu.sg) Maintainer, NUS: Please contact NUS Law Club (academics@nuslawclub.com) -
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.
-
10
Lep-MAP
fast and accurate linkage map construction for large SNP datasets
...If you use Lep-MAP, please cite Lep-MAP: fast and accurate linkage map construction for large SNP datasets Pasi Rastas; Lars Paulin; Ilkka Hanski; Rainer Lehtonen; Petri Auvinen Bioinformatics 2013; doi: 10.1093/bioinformatics/btt563 -
11
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.
-
12
Critterding
Evolving Artificial Life
Critterding is a "Petri dish" universe in 3D that demonstrates evolving artificial life. Critters start out with completely random brains and bodies, but will automatically start evolving into something with much better survival skills. -
13
SipnLab
Signal Interpreted Petri Net Laboratory
SipnLab (Signal Interpreted Petri Net Laboratory) creates SIPN and generate AWL-Code for SPS. This tool is based on open source Project "Pipe 2.5". Version 1.1 of SipnLab integraded a Sipn to Ardunio translater and several bugfixes. -
14
vsep
The Very Simple Expression Parser (and Solver) Library for C
VSEP is able to parse expressions like: (foo + bar + quz) (foo + bar(1, 2 (foo + bar))) foo('some_string',bar, 1.001e1) It can then "solve" these expression, getting any variables or function return values from various callbacks supplied to it. For the & and | operators (logical and and or, respectively) it supports lazy evaluation. VSEP can also be passed a callback returning the "difficulty" of getting a certain variable or function, which it can use to simplify the expression as lazily as possible. ... -
15
Petri-Foo is a fork of the Specimen Sampler project featuring modulation routing, assignable MIDI controllers, sample auto-preview, xfades, improved sample viewer/marks editor, and many other updates.
-
16
Weblooker
Weblooker monitors serveral services on multiple systems for their sta
Weblooker monitors serveral services on multiple systems for their status, up- and downtimes. A webgui and Android client to view the current status and logged downtimes is available as separately package. -
17
MCloudSim/NovaCloudSim
a distributed cloud simulator written in Java
...All functions of CloudSim are reserved, and our newly added files are in the package org.cloudbus.cloudsim.nova. MCloudSim has following characteristics: (1) The overlay protocol can be freely replaced, and we have already ported Pastry, Kadmelia, Chord from PeerSim; (2) A Petri-Net workflow theory based task model is implemented to simulate distributed tasks; (3) A distributed cloud can be easily built by assembling and expanding the basic resource entities provided by the simulator. (4) ... If you have any questions, please contact nova@dsp.ac.cn. -
18
TuxFight
A tux fighting game
Please post in the forum if you would like to join this project. In the tradition of 2D fighting games such as street fighter etc., as Linux does not have such a game yet. Copyright Information: (C) 2012 Wilson Foo Yu Kang Licensed under the GNU General Public License HowTo: Install the deb package and an icon will be installed in your applications menu. Click that icon to run the game. About the developers: Wilson Foo Yu Kang wrote this game in C++ using SFML. It is the first game which he has submitted to the Ubuntu repositories for consideration. -
19
PeabraiN
A PIPE Extension for Performance Estimation and Resource Optimisation
PeabraiN tool is a collection of PIPE (Platform Independent Petri net Editor) modules for computing bounds, resource optimisation, and more bizarre properties on the Petri nets. Namely, the feature supported by PeabraiN are, namely: Performance Estimation, Resource Optimisation, Structural Enabling, Structural Marking, Visit Ratio Computation, and SPN Simulation Analysis. For more details, see the project website at http://webdiis.unizar.es/GISED/? -
20
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. -
21
kvs
kvs is a memory based key-value storage system.
...kvs is similar to memcache,but easier to use. kvs与memcahce的功能很相似，但是相对memcache来说更容易使用。 providing get,set,delete interface by http. kvs提供基于http的接口， 用户可以通过浏览器直接get, set or delete. eg: set a key-value: foo=12345 http://127.0.0.1/set?key=foo&val=12345 To get the value of foo: http://127.0.0.1/get?key=foo or http://127.0.0.1/foo To delete the key-value: http://127.0.0.1/del?key=foo or http://127.0.0.1/delete?key=foo... -
22
zfind
zfind is a fast file search utility/API for searching within archives
Many times, developers (or even, normal users) run into an issue of searching for a resource that is inside a zip. Worse, that resource is inside a zip which is itself inside ANOTHER zip (i.e. nested archive). Possibly you need to verify whether a particular resource is present in an ear or you want to know part of a file name but don't know which zip/jar on your hard disk contains that class file. zfind solves this problem. zfind is very fast and it works on most common... -
23
-
24
NetBuilder' is a tool for building, visualizing, and simulating multi-layered biological networks, structured as hierarchical Petri-nets. It has a built-in stochastic simulator, but also provides easy access to other simulation and analysis.
-
25
BioPathXplore is a Bioinformatics Pathway eXploration tool for the visualization and exploration of biological pathways through the integration of KEGG pathways and high throughput data, using Petri nets.
