Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models

Type

conference paper

Language

English

Authors

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.

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. The proposed attitudes are inspired by the ones used in the context of other modelling languages.

Published

1999

Pages

219–224

Proceedings

Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99

Number

Acta MOS

ISBN

80-85988-41-0

Publisher

Marq software s.r.o.

Place

Krnov

BibTeX

@inproceedings{BUT191476,
  author="Tomáš {Vojnar}",
  title="Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models",
  booktitle="Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99",
  year="1999",
  number="Acta MOS",
  pages="219--224",
  publisher="Marq software s.r.o.",
  address="Krnov",
  isbn="80-85988-41-0"
}

Projects

PNtalk - tools based on object-oriented Petri nets, BUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, start: 1994-01-01, end: 2010-12-31, completed
Research and Applications of Heterogenous Models, GACR, Standardní projekty, GA102/98/0552, start: 1998-01-01, end: 2000-12-31, completed

Research groups

Petri Nets Research Group (VZ PETRINET)
System Modelling and Optimization Research Group (VZ MODSIM)

Departments

Faculty of Information Technology (FIT)