Search Results for "signal interpreted petri net"
Sort By:
Showing 2 open source projects for "signal interpreted petri net"
View related business solutions-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
Virtual data rooms designed to achieve better outcomesAnsarada is a SaaS company that provides world-leading AI-powered Virtual Data Rooms and dealmaking tools. These tools include advanced AI insights and automation, next level Q&A and collaboration, plus pre-built, digitized and customizable workflows and checklists - known as Pathways - for M&A, capital raising, business audits, tenders and other high stakes outcomes.
-
1
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 and... -
2
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.
- Previous
- You're on page 1
- Next