Search Results for "pipe petri net"
Sort By:
Showing 52 open source projects for "pipe petri net"
View related business solutions-
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
SKUDONET ADC, operates at the application layer, efficiently distributing network load and application load across multiple servers. This not only enhances the performance of your application but also ensures that your web servers can handle more traffic seamlessly.
-
1
rustix
Safe Rust bindings to POSIX-ish APIs
..., and several other efficient conveniences. rustix is low-level and, and while the net API supports Windows Sockets 2 (Winsock), the rest of the APIs do not support Windows; for higher-level and more portable APIs built on this functionality, see the cap-std, memfd, timerfd, and io-streams crates. -
2
Yet Another BACnet Explorer
Graphical explorer for BACnet and Free BACnet library in C#
Graphical explorer program written in C#, for browsing BACnet devices (run on Windows & Linux). Supports BACnet MS/TP, Ethernet, IPv4, IPv6, SecureConnect Basic functions for read, write, read multiple, write multiple, iam, whois, subscribeCOV, notify, WriteFile, ReadFile etc. Includes three demo server applications : a generic server, a wall mounted room controller simulator, a weather server (gets data from an Internet webservice). Includes a lot of samples C# source code. Raspberry Pi... -
3
SerialToIP is a simple Terminal Server software providing transparent pipe either in TCP server or TCP client socket mode from TCP/IP to a pre-configured serial port. Implemented in C# for .NET 2.0 so the command line version could work in Mono-runtime as well.
-
4
WoPeD is a Java-based graphical workflow process editor, simulator and analysor using Petri Nets and supporting the PNML format.
-
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.
-
5
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... -
6
Semagrams.jl
A graphical editor for graph-like structures
A graphical editor for graph-like structures based on Catlab. Legacy version built with typescript is in the legacy branch, and will not receive updates; new version with scala is now in the main branch. The core of Semagrams is just a library; in order to make it do things, one needs to create an "app" that uses it. Currently, the only app that is being developed is a Petri net editor, though this will soon change. In order to run the Petri net editor standalone, install Mill and npm... -
7
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.
-
8
libusbK
A complete software solution for windows usb devices
libusbK is a complete driver/library solution for vendor class usb device interfaces. If you are a usb developer or usb device manufacturer seeking a driver solution for a new USB widget then libusbK could be for you. libusbK encompasses a 100% WinUSB compatible api/funtion set. All WinUSB power/pipe polices are fully supported by the libusbK driver. In Addition, libusbK has full support for isochronous endpoints and an extensive set of additional modules to simplify development. Source code... -
9
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. -
Whether natural disaster, cyberattack, or plain-old human error, data can disappear in the blink of an eye. ConnectWise BCDR (formerly Recover) delivers reliable and secure backup and disaster recovery backed by powerful automation and a 24/7 NOC to get your clients back to work in minutes, not days.
-
10
Mighty Maxims
Update your website with a random quotation.
Evolving into a collection of tools and applications designed to pipe inspirational thoughts into our life... every day! (NEW) 2021: Python Package @ https://pypi.org/project/MightyMaxims/ Screen savers, GUI collection points, and MOTD-style console applications. C#, C++, and Java. Some STDNOJ projects. -Now with SQLite Support! -
11
SeelWorks.InterCom
Simplified Inter-Process Communication for Windows
This .NET library uses named pipes to allow client processes to communicate to a server process either locally or across a local network connection using either byte arrays or the easy-to-use proprietary ByteBuffer class via duplex burst messaging. -
12
Tool support for creating FMC* diagrams [Block diagrams, Petri nets, Entity-Relationship diagrams (ERD)] in MS-Visio 2000 and newer. Features: stencils, consistency checking, Petri net simulation, exporter e.g. pdf, ... *Fundamental Modeling Concepts A stripped down version of the stencil set is available for TAM (Technical Architecture Modeling of SAP). This set uses UML notation and contains Block, Activity, Sequence, State, Class, and Component diagrams. It doesn't contain Simulation...
-
13
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.
-
14
Carassius: Simple Petri Net Editor
Carassius is a tool for editing of Petri nets and graphs.
Carassius is a tool for editing of Petri nets and graphs. It allows to create and edit models in a very simple manner. Carassius has features for model arrangements and formatting, thus it makes a model more readable and demonstrative. With Carassius one can simply construct the model and export automatically generated TeX-code for the paper. Suitable markup languages: PNML and graphML. System reqs: MS Windows and .NET Framework 4.0 or higher. Carassius is made in HSE PAIS Lab. -
15
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... -
16
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... -
17
-
18
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.
-
19
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 это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать. -
20
Control-based bug fixing framework
A unified framework for concurrency bug fixing
The project has two purposes: (1) concurrency bug fixing (2) Modules enabling others to apply control theory to software analysis. For (1), it serves the purpose claimed in our research paper: fixing deadlocks/atomicity violations/ data races. It produces the bug fixes of optimal performance quality and avoids introducing new deadlocks in the program. Under the hood, it first models multithreaded program as the formal Petri net, models the bugs as vectors, and reduces the bug fixing... -
21
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. -
22
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... -
23
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/?q=tool/peabrain -
24
HLPN Editor / Simulator
High Level Petri Net Editor and Simulator
For more information check wiki -
25