Result Details

Algorithms for Computing Coverability Graphs for Continuous Petri Nets

NOVOSAD, P.; ČEŠKA, M. Algorithms for Computing Coverability Graphs for Continuous Petri Nets. Proceedings of 22th European Simulation and Modelling Conference ESM'2008. EUROSIS-ETI Publications. Le Havre: EUROSIM-FRANCOSIM-ARGESIM, 2008. p. 489-491. ISBN: 978-90-77381-44-1.
Type
conference paper
Language
English
Authors
Novosad Petr, Ing., DITS (FIT)
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Abstract

The paper formalizes the concept of the coverability graphs for autonomous continuous Petri nets and introduces algorithms for their computing. Every algorithm is accompanied with an example. Algorithms for the bounded and unbounded continuous Petri nets are presented.

Keywords

Continuous Petri Net, Coverability Graph, Algorithm.

Annotation

A useful method for Petri nets analysis is based on a coverability tree or a coverability graph that represents a state space of a system. The paper formalizes the concept of the coverability graphs for autonomous continuous Petri nets and introduces algorithms for their computing. The algorithms for the bounded and unbounded continuous Petri nets are presented. Every algorithm is accompanied with an example. The new concept of a signed continuous macro-marking for the bounded continuous Petri nets is described.

Published
2008
Pages
489–491
Proceedings
Proceedings of 22th European Simulation and Modelling Conference ESM'2008
Series
EUROSIS-ETI Publications
Conference
The European Simulation and Modelling Conference - ESM'2008
ISBN
978-90-77381-44-1
Publisher
EUROSIM-FRANCOSIM-ARGESIM
Place
Le Havre
BibTeX 
@inproceedings{BUT33443,
  author="Petr {Novosad} and Milan {Češka}",
  title="Algorithms for Computing Coverability Graphs for Continuous Petri Nets",
  booktitle="Proceedings of 22th European Simulation and Modelling Conference ESM'2008",
  year="2008",
  series="EUROSIS-ETI Publications",
  pages="489--491",
  publisher="EUROSIM-FRANCOSIM-ARGESIM",
  address="Le Havre",
  isbn="978-90-77381-44-1"
}
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Petri Nets Research Group (VZ PETRINET)
Departments
Department of Intelligent Systems (DITS)
Back to top