Co-opn

Brought to you by: didierbuchs, levilucio, lpedro, risoldi

Last Update: 2015-07-07

Get an email when there's a new version of Co-opn

The Concurrent Object-Oriented Petri Nets (CO-OPN) formalism is devised to support the specification of distributed systems in a modular way. Tools such as editors, syntax checker, test generator and prototype generator are proposed in this project.

Project Activity

See All Activity >

Follow Co-opn

Co-opn Web Site

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Co-opn!

Additional Project Details

Registered

2005-01-21

Report inappropriate content

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

Start Free

Recommended Projects

WoPeD
WoPeD is a Java-based graphical workflow process editor, simulator and analysor using Petri Nets and supporting the PNML format.
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 .
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.
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.
Java Modelling Tools
Java Modelling Tools is a suite of scientific tools for performance analysis and modelling using queueing theory and colored stochastic Petri nets. Models are solved either with analytical, asymptotic or simulation methods; workload characterization tools are also included in the suite. See the project website for more details: http://jmt.sf.net