Quick search
Go!

SOFTWARE TO BUILD A MARKINGS GRAPH FOR A PETRI NET MODEL


CULEA GEORGE 1
1.“Vasile Alecsandri” University of Bacău, Calea MărăƟeƟti 156,Bacău, 600115, Romania

Issue:

PLUMEE, Number 1, Volume I

Section:

Issue No. 1 - Volume 3(2013)
Download the full manuscript(authorisation required)

Abstract:

An analysis by Petri network models involves the determination of their properties. Network properties can be extracted easily from the graph markings. This article presents an application for generate the markings graph. The software to build the markings graph highlights all the markings available, possible bottlenecks and identifies key properties of the simulated model. The application allows you to save the introduce models and the simulation results - graph markings. This software is for generalized Petri nets including inhibitors arcs or inhibitor threshold arcs.

Keywords:

software, Petri network, markings graph.

Code [ID]:

PLUMEE201301V01S01A0013 [0003969]

DOI:

Full paper:

Download pdf


Copyright (c) 1995-2007 University of Bacău