Showing 8 open source projects for "petri"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • 1
    Java Modelling Tools is a suite of scientific tools for performance analysis and modelling using queueing theory and colored stochastic Petri nets. Models are solved either with analytical, asymptotic or simulation methods; workload characterization tools are also included in the suite. See the project website for more details: http://jmt.sf.net
    Leader badge
    Downloads: 21 This Week
    Last Update:
    See Project
  • 2
    Java application for virtual tool shop simulation. Application allows simulation of exchange jobs between some tool shops. Jobs are grouped in projects and are organized in Petri nets (sequences of activities and stores).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Virtual Laboratory Environment

    Virtual Laboratory Environment

    A multi-modeling and simulation environment to study complex systems

    ...The models can be developed with the DEVS formalism or with the classical mathematical formalism: Ordinary Differential Equation with Euler, Range-Kutta or QSS integrator, Finite state automaton (FDDEVS, UML State chart, Hybrid Petri net). The VLE environment provides an IDE to develop C++ models, DEVS coupled models. VLE have also three ports to use the VFL with Python, Java and R programming languages.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4
    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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • 5

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    PetriNetExec: Java Embeddable Petri Nets

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Create and simulate Hybrid Petri Nets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Queueing Petri Net Modeling Environment
    QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next