Graphgen: Java command line tool for state space analysis of Time-Basic (TB) Petri nets

Code

Matteo Camilli and Carlo Nicola Maria Bellettini

2012

Handle:

https://hdl.handle.net/10863/15529

Abstract

Software Engineering (SwSE)

url

http://camilli.di.unimi.it/graphgenView

Title: Graphgen: Java command line tool for state space analysis of Time-Basic (TB) Petri nets
Creators: Matteo Camilli
Carlo Nicola Maria Bellettini
Identifiers: (UNIBZ)31328698
991005772895201241
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Code
Author Names String: Camilli M, Bellettini C
Additional Description: MIURSSDCODE: INF/01
MIURSSD: Informatica
unibz-area: Software Engineering (SwSE)
description: Graphgen is a command line tool written in Java for state space analysis of Time-Basic (TB) Petri nets, a powerful formalism for real-time systems where time constraints are expressed as intervals, representing possible transition firing times, whose bounds are functions of marking’s time description. Graphgen build a symbolic reachability graph relying on a sort of time coverage, and overcomes the limitations of the only available analyzer for TB nets, based in turn on a time-bounded inspection of a (possibly infinite) reachability tree.

30 Record Views