Analysis and Verification Queries over Object-Oriented Petri Nets

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F01%3APU28634" target="_blank" >RIV/00216305:26230/01:PU28634 - isvavai.cz</a>

Result on the web

<a href="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-eurocast2001.ps.gz" target="_blank" >http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-eurocast2001.ps.gz</a>

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Analysis and Verification Queries over Object-Oriented Petri Nets

Original language description

In literature there have been proposed many different ways of asking formal analysis or verification questions to be answered over state spaces of various kinds of models. In this paper, we discuss how these methods can be accommodated for the case whenthe systems being examined are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated with the PNtalk language and tool.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2001

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Lecture Notes in Computer Science

ISSN

0302-9743

e-ISSN

—

Volume of the periodical

2001

Issue of the periodical within the volume

2178

Country of publishing house

DE - GERMANY

Number of pages

20

Pages from-to

365-384

UT code for WoS article

—

EID of the result in the Scopus database

—