About: Analysis and Verification Queries over Object-Oriented Petri Nets

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Analysis and Verification Queries over Object-Oriented Petri Nets Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-eurocast2001.ps.gz
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 when the systems being examined are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated with the PNtalk language and tool. 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 when the systems being examined are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated with the PNtalk language and tool. (en)
Title	Analysis and Verification Queries over Object-Oriented Petri Nets Analysis and Verification Queries over Object-Oriented Petri Nets (en)
skos:prefLabel	Analysis and Verification Queries over Object-Oriented Petri Nets Analysis and Verification Queries over Object-Oriented Petri Nets (en)
skos:notation	RIV/00216305:26230/01:PU28634!RIV14-MSM-26230___
http://linked.open...avai/riv/aktivita	I
http://linked.open...avai/riv/aktivity	I
http://linked.open...iv/cisloPeriodika	2178
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Češka, Milan Vojnar, Tomáš Janoušek, Vladimír
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	673060
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/01:PU28634
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Petri nets, object orientation, formal analysis and verification (en)
http://linked.open.../riv/klicoveSlovo	formal analysis and verification object orientation Petri nets
http://linked.open...odStatuVydavatele	DE - Spolková republika Německo
http://linked.open...ontrolniKodProRIV	[D95E08C0E563]
http://linked.open...i/riv/nazevZdroje	Lecture Notes in Computer Science
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...UplatneniVysledku	2001
http://linked.open...v/svazekPeriodika	2001
http://linked.open...iv/tvurceVysledku	Vojnar, Tomáš Češka, Milan Janoušek, Vladimír
issn	0302-9743
number of pages	20 (xsd:int)
http://localhost/t...ganizacniJednotka	26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 110 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software