background preloader

Petri Net State Machine

Facebook Twitter

CPN-AMI. CPN-AMI is a computer-aided software engineering environment based on Petri Net specifications.

CPN-AMI

It allows to specify the behavior of a distributed system and the to evaluate properties on it such as invariants (preservation of resources), absence of deadlocks, liveness or temporal logic properties (relations between events in the system). CPN-AMI relies on AMI-Nets, that are Well Formed Petri Nets with syntactic facilities. Well Formed Petri Nets were jointly elaborated between the University of Paris 6 (Université P. & M. Curie) and the University of Torino in the early 1990s. This Petri Net class is of interest since it enables the use of symbolic techniques for model checking and thus allow a very compressed way to store all the states of a system. Petriscript. PetriScript is a modelling language for Petri nets, designed by Alexandre Hamez and Xavier Renault.

Petriscript

The CPN-AMI platform provides many tools to work on Petri nets, such as verifying or model-checking tools. It was easily possible to graphically design simple Petri nets with Macao, but various works made internally at LIP6 reveal that it was needed to automate such task. Therefore PetriScript has been designed to provide some facilities in modelling places-transition and coloured Petri nets within the CPN-AMI platform. Its main purpose is to automate modelling operations on Petri nets such as merging, creating, and connecting nodes. Pnml.org - PNML reference site. Petri net. A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems.

Petri net

A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e. events that may occur, signified by bars) and places (i.e. conditions, signified by circles). The directed arcs describe which places are pre- and/or postconditions for which transitions (signified by arrows). Some sources[1] state that Petri nets were invented in August 1939 by Carl Adam Petri — at the age of 13 — for the purpose of describing chemical processes.