First Approach to Model Checking in Object-Oriented Petri Nets
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F01%3APU28709" target="_blank" >RIV/00216305:26220/01:PU28709 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
First Approach to Model Checking in Object-Oriented Petri Nets
Original language description
Model checking is a technique for automatic system analysis. It usually consists of three tasks: system modelling, property specification, and automatic verification. We are interested in system modelling by Object-Oriented Petri Nets (OOPNs) and therefore we concentrate to OOPNs as modelling formalism. In this article there can be found a small introduction to model checking, description of OOPNs, and finally some specific problems and possibilities of model checking in OOPNs.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F00%2F1017" target="_blank" >GA102/00/1017: Modelling, verifying and prototyping distributed applications using Petri nets</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2001
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems
ISBN
80-85988-61-5
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
105-110
Publisher name
Neuveden
Place of publication
Ostrava
Event location
Velke Losiny
Event date
Sep 11, 2001
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—