Result Details

Object-oriented Petri Nets and their Application and Type Analysis

KŘENA, B. Object-oriented Petri Nets and their Application and Type Analysis. Information Technologies and Control, 2003, vol. 1, no. 1, p. 27-31. ISSN: 1312-2622.
Type
journal article
Language
English
Authors
Křena Bohuslav, Ing., Ph.D.
Abstract

Object-oriented Petri nets (OOPNs) are a formalism based on Petri nets suitable for modelling, prototyping, and verifying concurrent systems. In this article, we introduce OOPNs and research associated to them. At first, we state the motivation for establishing OOPNs by comparing OOPNs with classic Petri net. Subsequently, we describe formalism OOPNs in reasonable details and illustrate it on a simple model of exchange office. Then, we deal with formal analysis issues in the context of OOPNs, especially with the type analysis problem. Some notes to integrated analysis tool implementation are briefly discussed at the end of the article.

Keywords

Object-Oriented Petri Nets, Application, Modelling, Type Analysis

Published
2003
Pages
27–31
Journal
Information Technologies and Control, vol. 1, no. 1, ISSN 1312-2622
Book
Information Technologies and Control
Place
Sofia
BibTeX 
@article{BUT46259,
  author="Bohuslav {Křena}",
  title="Object-oriented Petri Nets and their Application and Type Analysis",
  journal="Information Technologies and Control",
  year="2003",
  volume="1",
  number="1",
  pages="27--31",
  issn="1312-2622"
}
Projects
Environment for Development, Modelling, and Application of Heterogeneous Systems, GACR, Standardní projekty, GA102/01/1485, start: 2001-01-01, end: 2003-12-31, completed
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 groups
Petri Nets Research Group (VZ PETRINET)
System Modelling and Optimization Research Group (VZ MODSIM)
Departments
Department of Intelligent Systems (DITS)
Back to top