Showing 23 open source projects for "petri net matlab"

View related business solutions
  • Employee monitoring software with screenshots Icon
    Employee monitoring software with screenshots

    Clear visibility and insights into how employees work. Even remotely

    Our computer monitoring software allows employees, field contractors, and freelancers to manually clock in when they begin working on an assignment. The application will take screenshots randomly or at set intervals, which allows employers to observe the work process. The application only tracks activity when the employee is clocked in. No spying, only transparency.
  • ConnectWise Cybersecurity Management for MSPs Icon
    ConnectWise Cybersecurity Management for MSPs

    Software and support solutions to protect your clients’ critical business assets

    ConnectWise SIEM (formerly Perch) offers threat detection and response backed by an in-house Security Operations Center (SOC). Defend against business email compromise, account takeovers, and see beyond your network traffic. Our team of threat analysts does all the tedium for you, eliminating the noise and sending only identified and verified treats to action on. Built with multi-tenancy, ConnectWise SIEM helps you keep clients safe with the best threat intel on the market.
  • 1
    VANESA
    This project moved to GitHub in 2021 and is available at: https://cbrinkrolf.github.io/VANESA/ This tool is a platform-independent software to create individual pathways and to examine biological networks of distributed, heterogeneous data sources, e.g. KEGG, BRENDA. VANESA also offers Petri net modeling of extended hybrid Petri nets which can be also simulated using the OpenModelica framework.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    Sensitizer

    Sensitizer

    A toolset to automate STOP analysis with Zemax OpticStudio

    SENSITIZER is an ESO software toolset written in Matlab and Mathematica aiming at automating some Structural/Thermal/Optical Performance (STOP) sensitivity analyses with Zemax OpticStudio (ZOS). The core code of SENSITIZER runs in MATLAB and drives ZOS in the background through the ZOS-API interface, based on .NET. The output is saved in the MATLAB file format and can be post-processed using MATLAB and/or Mathematica routines. The optical system to analyze is defined in a normal Zemax lens file...
    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

    ... 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: 0 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: 0 This Week
    Last Update:
    See Project
  • Gain insights and build data-powered applications Icon
    Gain insights and build data-powered applications

    Your unified business intelligence platform. Self-service. Governed. Embedded.

    Chat with your business data with Looker. More than just a modern business intelligence platform, you can turn to Looker for self-service or governed BI, build your own custom applications with trusted metrics, or even bring Looker modeling to your existing BI environment.
  • 5
    WOLFGANG

    WOLFGANG

    Editor for Petri nets

    Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. Use...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    SEPIA: Security-oriented PN Framework

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Small GAP package for converting Petri nets to finite state automata and transformation semigroups.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    ILNumerics.Net
    math lib for .NET. n-dim arrays, complex numbers, linear algebra, FFT, sorting, cells- and logical arrays as well as 3D plotting classes help developing algorithms on every platform supporting .NET. Sources from SVN, binaries: http://ilnumerics.net
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    QPNet

    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 это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Cyber Risk Assessment and Management Platform Icon
    Cyber Risk Assessment and Management Platform

    ConnectWise Identify is a powerful cybersecurity risk assessment platform offering strategic cybersecurity assessments and recommendations.

    When it comes to cybersecurity, what your clients don’t know can really hurt them. And believe it or not, keep them safe starts with asking questions. With ConnectWise Identify Assessment, get access to risk assessment backed by the NIST Cybersecurity Framework to uncover risks across your client’s entire business, not just their networks. With a clearly defined, easy-to-read risk report in hand, you can start having meaningful security conversations that can get you on the path of keeping your clients protected from every angle. Choose from two assessment levels to cover every client’s need, from the Essentials to cover the basics to our Comprehensive Assessment to dive deeper to uncover additional risks. Our intuitive heat map shows you your client’s overall risk level and priority to address risks based on probability and financial impact. Each report includes remediation recommendations to help you create a revenue-generating action plan.
  • 10
    Acquisition software for electron microscopes. Runs on FEI Tecnai and Titan microscopes and is usable in material and life science applications
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    PopED (Population Experimental Design) is a software tool for computing optimal experimental designs. The software has been developed with an emphasis on drug trials based on population models (non-linear mixed effects models).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    SciData

    SciData

    Data Management for Matlab, MathCAD, and SciLab

    Data Management for Matlab, MathCAD, and SciLab: - Automatically import/export data to/from Matlab/MathCAD/Scilab - Easily separate data and analysis - Batch processing of datasets - Data filtering - Easily manage metadata for all your data files - Built in Data Acquisition (DAQ) - Implements Microsoft Scientific Dataset so data files are stored in a standard format
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    MCloudSim/NovaCloudSim

    a distributed cloud simulator written in Java

    MCloudSim(formerly called NovaCloudSim) is a simulator written in Java for geographically distributed clouds. The software is modified from CloudSim 3.0, which is an open source data center simulator. 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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    The SELENA and RISe software tools are two packages to assist in computing earthquake damage scenarios. The damage probability for any specific structure follows the computation principles of HAZUS.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    This toolkit allows complete control of a microscopy setup from Labview, Matlab, Scilab, Python, .Net, VB, IgorPro, Mathematica and more. Included is a standalone program for image acquisition and scripting control of a scientific microscope.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 16
    Quantifa
    Quantifa is an F# open-source library for quantitative finance and risk management. Quantifa can be viewed as a functional programming version of QuantLib and QLNet. Currently, the Quantifa Team is looking for developers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Projeny (Probablistic Networks Generator in Java) is a graphical (Java SWT) front-end to BNT (Bayes Net Toolbox for Matlab). Projeny requires BNT, JMatLink and a Matlab back-end. There is no installable release package, but source code is available on SVN - please check out from SVN to use Projeny. Projeny was started with BNJ as the base.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Create and simulate Hybrid Petri Nets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    The Toolbox GraphC generates a graph of classes for fuzzy time Petri nets, taking into account unbounded transitions. This project is a scientific research project conducted by LAAS-CNRS and IRIT-UT1, France.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Dodona is a molecular dynamics program which aims to treat nanostructures. It is provided with a basic interpretater language and can easily be extended with plugins. It supports basic matrix and vector manipulation in a Matlab/Octave-fashion way.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Demetrix is a Java-based process modelling system. The goal of the project is to develop a flexible framework for managing complex process models using Petri-Net-oriented methodologies (state-task networks and resource-task networks).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    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