Stratagem Model Checker Files

Stratagem Model Checker

Brought to you by: mundacho

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
philo.ts	2014-08-08	3.1 kB	0
simple_lbs-5.pnml	2013-12-10	152.7 kB	0
Philosophers-5.pnml	2013-12-10	24.6 kB	0
philo.pnml	2013-12-10	30.5 kB	0
Kanban-5.pnml	2013-12-10	16.3 kB	0
FMS-10.pnml	2013-12-10	19.5 kB	0
Totals: 6 Items		246.7 kB	0

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You 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 security. Auth0 now, thank yourself later.

Try free now

Recommended Projects

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)
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.
DDS-Fixer
Fix file signature of DirectDraw Surface files
Carassius: Simple Petri Net Editor
Carassius is a tool for editing of Petri nets and graphs.
FMC-Visio Stencils
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, exporter, or even shape help.

Stratagem Model Checker Files

Stratagem Model Checker

Get an email when there's a new version of Stratagem Model Checker