An application example of symbolic calculus for SWN structural relations

L. CAPRA; PIERRO M. DE; Giuliana Annamaria FRANCESCHINIS

An application example of symbolic calculus for SWN structural relations

L. CAPRA, PIERRO M. DE, Giuliana Annamaria FRANCESCHINIS

Department of Science and Technological Innovation

Research output: Contribution to conference › Paper › peer-review

Abstract

Structural analysis techniques allow system properties to be efficiently verified, and may significantly improve the effectiveness of state-space based analysis. Symbolic approaches have been proposed to extend in an effective way structural analysis results from ordinary Petri nets to high level Petri nets (e.g. Unary Regular nets). In the paper some salient points of a symbolic calculus of Stochastic Well-formed Nets structural relations are presented using an example.

Original language	English
Pages	225-230
Number of pages	6
Publication status	Published - 1 Jan 2004
Event	7th Workshop on Discrete Event Systems - Reims, France Duration: 1 Jan 2004 → …

Conference

Conference	7th Workshop on Discrete Event Systems
City	Reims, France
Period	1/01/04 → …

Access to Document

http://hdl.handle.net/11579/17092

Cite this

@conference{554ca84c2cc84389b39b7fc97bfca5cc,

title = "An application example of symbolic calculus for SWN structural relations",

abstract = "Structural analysis techniques allow system properties to be efficiently verified, and may significantly improve the effectiveness of state-space based analysis. Symbolic approaches have been proposed to extend in an effective way structural analysis results from ordinary Petri nets to high level Petri nets (e.g. Unary Regular nets). In the paper some salient points of a symbolic calculus of Stochastic Well-formed Nets structural relations are presented using an example.",

author = "L. CAPRA and DE, {PIERRO M.} and FRANCESCHINIS, {Giuliana Annamaria}",

year = "2004",

month = jan,

day = "1",

language = "English",

pages = "225--230",

note = "7th Workshop on Discrete Event Systems ; Conference date: 01-01-2004",

}

TY - CONF

T1 - An application example of symbolic calculus for SWN structural relations

AU - CAPRA, L.

AU - DE, PIERRO M.

AU - FRANCESCHINIS, Giuliana Annamaria

PY - 2004/1/1

Y1 - 2004/1/1

N2 - Structural analysis techniques allow system properties to be efficiently verified, and may significantly improve the effectiveness of state-space based analysis. Symbolic approaches have been proposed to extend in an effective way structural analysis results from ordinary Petri nets to high level Petri nets (e.g. Unary Regular nets). In the paper some salient points of a symbolic calculus of Stochastic Well-formed Nets structural relations are presented using an example.

AB - Structural analysis techniques allow system properties to be efficiently verified, and may significantly improve the effectiveness of state-space based analysis. Symbolic approaches have been proposed to extend in an effective way structural analysis results from ordinary Petri nets to high level Petri nets (e.g. Unary Regular nets). In the paper some salient points of a symbolic calculus of Stochastic Well-formed Nets structural relations are presented using an example.

UR - https://iris.uniupo.it/handle/11579/17092

M3 - Paper

SP - 225

EP - 230

T2 - 7th Workshop on Discrete Event Systems

Y2 - 1 January 2004

ER -

An application example of symbolic calculus for SWN structural relations

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this