Attributes | Values |
---|
rdf:type
| |
Description
| - In this contribution, we discuss how the different ways of asking formal analysis or verification questions that have been proposed in the context of various modelling languages can be accommodated for the case when the systems under investigation are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated to the language and tool called PNtalk that are being developed at the Department of Computer Science and Engineering of the Brno University of Technology since 1993.
- In this contribution, we discuss how the different ways of asking formal analysis or verification questions that have been proposed in the context of various modelling languages can be accommodated for the case when the systems under investigation are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated to the language and tool called PNtalk that are being developed at the Department of Computer Science and Engineering of the Brno University of Technology since 1993. (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:26220/01:PU28635!RIV/2002/GA0/262202/N
|
http://linked.open.../vavai/riv/strany
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(GA102/98/0552), Z(MSM 262200012)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216305:26220/01:PU28635
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - object-oriented Petri nets, formal analysis and verification, state spaces (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| - Las Palmas de Gran Canaria, Canary Islands
|
http://linked.open...i/riv/mistoVydani
| - Las Palmas de Gran Canaria, Canary Islands, Spai
|
http://linked.open...i/riv/nazevZdroje
| - Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...ocetUcastnikuAkce
| |
http://linked.open...nichUcastnikuAkce
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Vojnar, Tomáš
- Češka, Milan
- Janoušek, Vladimír
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |