Search Results for "petri net analysis tool"

Showing 97 open source projects for "petri net analysis tool"

View related business solutions
  • Migrate to innovate with Red Hat Enterprise Linux on Azure Icon
    Migrate to innovate with Red Hat Enterprise Linux on Azure

    Streamline your IT modernization journey with a holistic environment running Red Hat Enterprise Linux on Azure.

    With Red Hat Enterprise Linux on Azure, businesses can confidently modernize their IT environment, knowing they don’t have to compromise on security, scalability, reliability, and ease of management. Securely accelerate innovation and unlock a competitive edge with enterprise-grade modern cloud infrastructure.
  • 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.
  • 1
    Discourse Network Analyzer (DNA)

    Discourse Network Analyzer (DNA)

    Discourse Network Analyzer (DNA)

    The Java software Discourse Network Analyzer (DNA) is a qualitative content analysis tool with network export facilities. You import text files and annotate statements that persons or organizations make, and the program will return network matrices of actors connected by shared concepts.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 2
    PerfView

    PerfView

    PerfView is a CPU and memory performance-analysis tool

    PerfView is a free performance analysis tool that helps isolate CPU and memory-related performance issues. It is a Windows tool, but it also has some support for analyzing data collected on Linux machines. It works for a wide variety of scenarios, but has a number of special features for investigating performance issues in code written for the .NET runtime. If you are unfamiliar with PerfView, there are PerfView video tutorials. Also, Vance Morrison's blog gives an overview and getting started...
    Downloads: 32 This Week
    Last Update:
    See Project
  • 3
    Security Code Scan

    Security Code Scan

    Vulnerability Patterns Detector for C# and VB.NET

    Detects various security vulnerability patterns. SQL Injection, Cross-Site Scripting (XSS), Cross-Site Request Forgery (CSRF), XML eXternal Entity Injection (XXE), etc. Inter-procedural taint analysis for input data. Continuous Integration (CI) support for GitHub and GitLab pipelines. Stand-alone runner or through MSBuild for custom integrations. Analyzes .NET and .NET Core projects in the background (IntelliSense) or during a build. Works with Visual Studio 2019 or higher. Visual Studio...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4
    ML.NET

    ML.NET

    Open source and cross-platform machine learning framework for .NET

    With ML.NET, you can create custom ML models using C# or F# without having to leave the .NET ecosystem. ML.NET lets you re-use all the knowledge, skills, code, and libraries you already have as a .NET developer so that you can easily integrate machine learning into your web, mobile, desktop, games, and IoT apps. ML.NET offers Model Builder (a simple UI tool) and ML.NET CLI to make it super easy to build custom ML Models. These tools use Automated ML (AutoML), a cutting edge technology...
    Downloads: 0 This Week
    Last Update:
    See Project
  • AlertBot: Website Monitoring of Uptime, Performance, and Errors Icon
    AlertBot: Website Monitoring of Uptime, Performance, and Errors

    For IT Professionals and network adminstrators looking for a web application monitoring solution

    AlertBot monitors your website's full functionality around the clock so you can focus your time on more important things.
  • 5
    AndBible

    AndBible

    AndBible: Bible Study

    AndBible: Bible Study" is a powerful, yet easy to use, offline Bible study application for Android. The app does not aim to be simply a Bible reader, but focuses on being an advanced tool to do in-depth personal Bible study. This application is developed by Bible readers, for Bible readers. It aims at helping you make your Bible study convenient, deep and fun. The best part about this non-profit community project is that it is open-source, completely free, and contains no advertisements. A few...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Roslyn

    Roslyn

    The .NET Compiler Platform

    Roslyn provides rich, code analysis APIs to open source C# and Visual Basic compilers. This enables you to access a wealth of information about your code from compilers, which you can then use for code-related tasks in your tools and applications. Roslyn dramatically lowers the barrier to entry for creating code-focused tools and applications, creating many opportunities for innovation.
    Downloads: 15 This Week
    Last Update:
    See Project
  • 7
    Apache SkyWalking Rocketbot UI

    Apache SkyWalking Rocketbot UI

    SkyWalking RocketBot UI

    Application performance monitor tool for distributed systems, specially designed for microservices, cloud-native, and container-based (Kubernetes) architectures. End-to-end distributed tracing. Service topology analysis, service-centric observability and API dashboards. Java, .Net Core, PHP, NodeJS, Golang, LUA, Rust, C++, Client JavaScript and Python agents with active development and maintenance. Rover agent works as a metrics collector and profiler powered by eBPF to diagnose CPU and network...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    OpenCover

    OpenCover

    Code coverage tool for .NET 2 and above

    OpenCover is a free and open source code coverage tool for .NET 2 and above (Windows OSs only - no MONO), with support for 32 and 64 processes and covers both branch and sequence points. It uses the profiler API that is currently only available to .NET Frameworks running on the Windows platform. OpenCover is an attempt at building a code coverage utility that addresses certain issues in maintaining PartCover support for 64-bit processes.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    HiPS : Hierarchical Petri net Simulator

    HiPS : Hierarchical Petri net Simulator

    HiPS tool features to design and analyze hierarchical Petri nets

    HiPS tool is developed at the Department of Computer Science and Engineering, Shinshu University, which is a tool design and analysis of Petri nets, developed using Microsoft Visual C # and C++. HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random walk...
    Downloads: 23 This Week
    Last Update:
    See Project
  • Intranet Software To Connect Your Employees | Interact Icon
    Intranet Software To Connect Your Employees | Interact

    Intranet software built for communicators. Connect your enterprise. Drive engagement. Provide a better employee experience.

    Join the revolution in workplace communication with an AI-powered intranet.
  • 10
    SCons

    SCons

    A software construction tool

    SCons is a software construction tool that is a superior alternative to the classic "Make" build tool that we all know and love. SCons is implemented as a Python script and set of modules, and SCons "configuration files" are actually executed as Python scripts. This gives SCons many powerful capabilities not found in other software build tools. We make SCons available in three distinct packages, for different purposes. - The scons package is the basic package to install SCons. You don't need...
    Leader badge
    Downloads: 5,955 This Week
    Last Update:
    See Project
  • 11
    WoPeD
    WoPeD is a Java-based graphical workflow process editor, simulator and analysor using Petri Nets and supporting the PNML format.
    Leader badge
    Downloads: 78 This Week
    Last Update:
    See Project
  • 12
    Command Line

    Command Line

    Your Personal Hacking Terminal.

    Command Line is an Open-Source Software for Pentesters and Ethical Hackers it contains many Functionalities which helps Ethical Hackers. It is CLI Based Application use for checking Networks and IP's it also supports functionalities like downloading Packages from Internet Including YouTube.It is also used for Port scanning, IP-Finding it is also useful for checking ping and net speed with the functionality of scanning the net speed by selecting the best server. It also has Host IP finding...
    Downloads: 72 This Week
    Last Update:
    See Project
  • 13
    DEVS-Suite Simulator

    DEVS-Suite Simulator

    Component, CA, and CCA models; superdense time, DB repo, testing, etc.

    Integrated component-based and cellular automata (CA) Parallel DEVS simulator: https://acims.asu.edu/devs-suite/ OFFERS: 1) synchronized execution & animation, 2) run-time linear/superdense I/O & state trajectories, 3) Action Level Real-Time modeling & simulation, 4) model checking, 5) ABM, 6) CA & composable CA playback, 7) KIB interaction modeling, 8) hierarchical model libraries, 9) Black-Box testing & debugging, 10) PostgreSQL repository, 11) FMU (OpenModelica), 12) OSATE (AADL) with...
    Downloads: 11 This Week
    Last Update:
    See Project
  • 14
    Chessmaster Bots Manager

    Chessmaster Bots Manager

    A simple tool to allow Chessmaster 10/11 bot customizations

    This tool allows several bot customizations: - Load all the chess engine settings - Change avatar for any bot - Analyse player's games to get: * Player max elo * Game style (aggressive, positional, etc.) * Preferred opennings - Choose the closest openning book for a player - Save openning book based on player's game stats - Automtically backup bot with with possibility to restore settings Future improvements: - Improve .pgn analysis using external engine or refined position evaluation...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 15
    odaba

    odaba

    ODABA is an terminology-oriented database management system and develo

    ODABA is an terminology-oriented database management system (TODBMS) on a high conceptual level. It provides a number of enhanced features based on natural language analysis. Terminology orientation allows designing user oriented data models. Enhanced event model and Active Data Link technology support rapid development of GUI applications. Several development, documentation, test and analyzing tools are provided in order to support developers and administrators. .NET interface...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 16
    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
  • 17
    LifesongY is a software tool to view and analyze recorded courtship behavior of the fruit fly, Drosophila melanogaster. It's created in C#.NET, and essentially a Windows counterpart of the OS X based LifesongX, which was developed by John Rieffel and Adriana Villella, in Jeffrey Hall's lab at Brandeis University's Biology Department and was further based upon Lifesong, written in the early 1990's.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 18
    tcptrace

    tcptrace

    tcptrace analyzes packet tcp connections and provides analysis

    tcptrace is a tool written by Shawn Ostermann at Ohio University, for analysis of TCP dump files. It can take as input the files produced by several popular packet-capture programs, including tcpdump, snoop, etherpeek, HP Net Metrix, and WinDump. tcptrace can produce several different types of output containing information on each connection seen, such as elapsed time, bytes and segments sent and recieved, retransmissions, round trip times, window advertisements, throughput, and more. It can...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 19

    CusVarDB

    CusVarDB generated variant protein database from NGS-datasets

    CusVarDB is a windows based tool for creating a variant protein database from Next-generation sequencing datasets. The program supports variant calling for Genome, RNA-Seq and ExomeSeq datasets. The program performs mainly 4 modules 1. Align the datasets with reference database 2. Perform the variant calling using Genome Analysis Toolkit (GATK) 3. Annotate the variant using ANNOVAR 4. Create the variant protein database Apart from the main modules, the program also supports additional...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Aural Probe

    Aural Probe

    An automatic sample librarian tool for musicians

    Aural Probe is a sample librarian tool for computer musicians/audio engineers. Automatically and non-destructively index your disorganised sample collection from a list of folders into categories (kick, snare, hihats etc.) based on folder/filename wildcard matches. Easily audition samples, load/save favourites, and drag-and-drop straight into your sequencer.
    Downloads: 12 This Week
    Last Update:
    See Project
  • 21
    WEMax

    WEMax

    Work Efficiency Maximize Framework: Analyze work and line processes

    ... the framework, WEMax categorized a manned assembly line into five analysis levels (workstation, worker, operation cycle, work element, and unit motion), and identified user requirements on each level. Among these five, the workstation level supports line balancing, while the other four (worker, operation cycle, work element, and unit motion) address work process improvement. The WEMax framework has been implemented and tested with various examples from Korean assembly-line-based manufacturers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    VGMToolbox is a C# based tool to assist VGM collectors and dumpers. It includes tools to extract, optimize, and build VGM formats as well as auditing and exploration utilities. [GBS, KSS, MDX, NSF(E), SID, S98, SPC, VGM, XA, XMA, xSF (PSF/PSF2/etc)]
    Leader badge
    Downloads: 502 This Week
    Last Update:
    See Project
  • 23

    DBPlot (DataPlot, DatabasePlot, CsvPlot)

    Plot your data in seconds (MsSQL, MySQL, PostgreSQL, SQLite, CSV)

    A great tool to quickly visualize data. DBPlot supports MsSQL, MySQL, PostgreSQL, SQLite, and CSV files with drag-drop and data type inference capabilities.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    CSharp Identifier Scraper

    CSharp Identifier Scraper

    Small tool that outputs C# identifier names from .cs files

    This is a small test tool that reads C# source code files, performs lexical analysis and outputs the identifier names. It is built on top of the CodeConics Library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    MS Word documents are one of the most commonly used file types. Therefore, extorting textual data from the MS Word document (docx file) can be achieved by decompressing the file. MS-Office Forensics is a tool developed so that it allows investigators to automatically decompress (unzip) the investigated MS Word document. Additionally, it automatically parses and analyzes the contents of the resulted XML files and subfolders. The user can extract various parts such as the document's textual data...
    Downloads: 4 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next