Search Results for "hybrid petri net software"
Sort By:
Showing 32 open source projects for "hybrid petri net software"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou 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 secuirty. Auth0 now, thank yourself later.
-
Top-Rated Free CRM SoftwareHubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
-
1
.NET Multi-platform App UI
.NET MAUI is the .NET Multi-platform App UI
.NET Multi-platform App UI (.NET MAUI) is a cross-platform framework for creating mobile and desktop apps with C# and XAML. Using .NET MAUI, you can develop apps that can run on Android, iOS, iPadOS, macOS, and Windows from a single shared codebase. .NET Multi-platform App UI (.NET MAUI) is the evolution of Xamarin.Forms that expands capabilities beyond mobile Android and iOS into desktop apps for Windows and macOS. With .NET MAUI, you can build apps that perform great for any device that runs... -
2
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... -
3
PeachPie
PeachPie, the PHP compiler and runtime for .NET and .NET Core
PeachPie is a modern PHP compiler based on the Microsoft Roslyn compiler platform and drawing from our popular Phalanger project. It allows PHP to be executed within the .NET framework, thereby opening the door for PHP developers into the world of .NET – and vice versa. Build, debug, profile, and diagnose your code in the family of .NET tools, including Visual Studio and VS Code. Seamlessly port your legacy PHP code to the modern, cross-platform, lightning-fast .NET Core. Leverage the best... -
4
Casbin
An authorization library that supports access control models
An authorization library that supports access control models like ACL, RBAC, ABAC for Golang, Java, C/C++, Node.js, Javascript, PHP, Laravel, Python, .NET (C#), Delphi, Rust, Ruby, Swift (Objective-C), Lua (OpenResty), Dart (Flutter) and Elixir. In Casbin, an access control model is abstracted into a CONF file based on the PERM metamodel (Policy, Effect, Request, Matchers). So switching or upgrading the authorization mechanism for a project is just as simple as modifying a configuration... -
Red Hat Enterprise Linux on Microsoft AzureRed Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.
-
5
PHP-Casbin
An authorization library that supports access control models
An authorization library that supports access control models like ACL, RBAC, ABAC for Golang, Java, C/C++, Node.js, Javascript, PHP, Laravel, Python, .NET (C#), Delphi, Rust, Ruby, Swift (Objective-C), Lua (OpenResty), Dart (Flutter) and Elixir. In Casbin, an access control model is abstracted into a CONF file based on the PERM metamodel (Policy, Effect, Request, Matchers). So switching or upgrading the authorization mechanism for a project is just as simple as modifying a configuration... -
6
RepoDB
A hybrid ORM library for .NET.
RepoDB is an open-source .NET ORM library that bridges the gaps of micro-ORMs and full-ORMs. It helps you simplify the switch-over of when to use the BASIC and ADVANCE operations during the development. Like with any other ORMs, RepoDB does provide the preliminary methods needed for your basic operations. The good thing is, it also does provide the operations that are needed to cater your edge-cases like 2nd-Layer Cache, Tracing, Repositories, Property Handlers, and Batch/Bulk Operations... -
7
Internet Friendly Media Encoder
Simple, Flexible & Powerful H.265/HEVC & H266/VVC video encoder!
A versatile, future-proof, and expandable multimedia encoder designed for ease of use. Internet Friendly Media Encoder supports adding subtitles and attachments, and can function as a remuxing tool with a Copy Stream option. It allows you to combine multiple video, audio, subtitle, and attachment streams into a single file, remove unwanted streams, or incorporate subtitles from another video without extracting. The software also supports AviSynth for advanced video processing. The video... -
8
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.
-
9
Hybrid MultiOS Script Builder
It's tool to build Windows and GNU/Linux scripts
It's a tool to wrap Windows and GNU/Linux programs into script wrapper, which runs both on GNU/Linux and Windows 10. Generated wrapper is both cmd and bash script. After ran, it detects OS, unpack platform-dependent file + common file and execute platform-dependent file, putting path to platform-independent (common)file -
Never Get Blocked Again | Enterprise Web ScrapingGet unrestricted access to public web data with our ethically-sourced proxy network. Automated session management and advanced unblocking handle the hard parts. Scale from 1 to 1M requests with zero blocks. Built for developers with ready-to-use APIs, serverless functions, and complete documentation. Used by 20,000+ companies including Fortune 500s. SOC2 and GDPR compliant.
-
10
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. -
11
Cordova Gui by GoHo
Cordova Gui provides a simple user interface for hybrid applications
Cordova Gui provides a simple user interface for hybrid applications; using the Cordova Gui you are able to create and maintain your hybrid applications easily without the need of command line interfaces and know how. With the added ability to build out to Android Corodva Gui makes it even easier. V1.1 - From the feedback received the entire interface has been re-done - I hope it makes it more user friendly. -
12
CryptoLibraryRefImpl
encapsulates secure crypto algorithms for easy use
This library exposes security functionality to the programmer, such as random number generation, hashing, salted hashing, message authentication code, symmetric encryption, asymmetric encryption, hybrid encryption, digital signature and in-memory protection. The library is accompanied by a sophisticated reference implementation, that demonstrates how to make use of the CryptoLibrary. -
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
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...
-
15
InnoVB .NET Packager
Deploy VB.NET applications quick and easy
InnoVB .NET Packager is the easiest deployment tool for VB.NET applications via Inno Setup. It includes all the Application's dependencies even the COM libraries. Great for hybrid application projects. System Requirements: * .NET Framework 2.0 or later * Windows 2000 or later * 256Mb RAM or higher * 1GHz Processor or higher * Inno Setup 5 or higher NOTICE: Visual Basic .NET is a trademark of Microsoft. Inno Setup is a trademark of Jordan Russel. All trademarks are owned... -
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
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 это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать. -
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
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... -
20
Time Tracker - TimeFlow
Cloud based time tracking application.
We have combined the power of our popular desktop time tracker software with the accessibility of the Internet. This hybrid approach is extremely powerful. You can manage your employees' time tracker data easily, but are not restricted by the limitations of using a web browser. All your users have to do is click on one link on our website for the application to popup. -
21
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... -
22
-
23
FOREVER is an environment to translate UML Sequence Diagrams to Petri Nets and ckeck system properties with SMV. The tool receives as input sequence diagrams of UML and provides the Petri net in three different formats: APNN, PNML and SMV .
-
24
This is a software library (written in C/C++) for parsing Petri nets described using an input language. It is intended primarily to allow researchers to develop Petri net tools without needing to spend time working on an input language or parser.
-
25
Rakiura JFern - lightweight Petri Net framework. Engine with the GUI simulator, written in Java and designed for Java developers. Supports multiple inscription languages: Java, Kawa, BeanShell and Clojure.