Conference paper

VOJNAR Tomáš. Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models. In: Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99. Krnov, 1999, pp. 219-224. ISBN 80-85988-41-0.
Publication language:english
Original title:Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models
Pages:219-224
Proceedings:Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99
Place:Krnov, CZ
Year:1999
ISBN:80-85988-41-0
Keywords
Petri nets, object-orientation, formal analysis and verification
Annotation
The article discusses several possible ways of specifying properties of systems to be checked via formal analysis or verification on the state spaces of their models based on object-oriented Petri nets.
Abstract
The article discusses several possible ways of specifying properties of systems to be checked via formal analysis or verification on the state spaces of their models based on object-oriented Petri nets. The proposed attitudes are inspired by the ones used in the context of other modelling languages.
BibTeX:
@INPROCEEDINGS{
   author = {Tom{\'{a}}{\v{s}} Vojnar},
   title = {Specifying Properties of Systems To Be Checked Using Their
	Object-Oriented Petri Net-Based Models},
   pages = {219--224},
   booktitle = {Proceedings of 21st International Workshop on Advanced
	Simulation of Systems ASIS'99},
   number = {Acta MOS},
   year = {1999},
   location = {Krnov, CZ},
   ISBN = {80-85988-41-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6563}
}

Your IPv4 address: 54.224.197.251
Switch to IPv6 connection

DNSSEC [dnssec]