PeabraiN

A PIPE Extension for Performance Estimation and Resource Optimisation

Brought to you by: rjrodriguez

Downloads: 0 This Week

Last Update: 2016-04-22

Add to Preferred Sources

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

Project Activity

See All Activity >

Follow PeabraiN

PeabraiN Web Site

Other Useful Business Software

One Monitoring Tool for IT, OT and Cloud | Free Trial Icon

One Monitoring Tool for IT, OT and Cloud | Free Trial

Vendor-agnostic monitoring across on-prem servers, cloud platforms and OT devices, all in one dashboard. No more tool sprawl.

Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.

Try PRTG Free

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of PeabraiN!

Additional Project Details

Registered

2012-01-27

Report inappropriate content

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Recommended Projects

Platform Independent Petri Net Editor
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.
FOREVER
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 .
WoPeD
WoPeD is a Java-based graphical workflow process editor, simulator and analysor using Petri Nets and supporting the PNML format.
DAE Tools Project
Object-oriented equation-based modelling and optimisation software
The PEP tool
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)