Pavol Barger

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper deals with a new method to study dependability of distributed systems using Colored Petri Nets (CPN) which are a powerful, recognized and intuitive modelling tool. They allow a precise representation of the studied systems. The CPN analysis gives information about static and dynamic behavior of the modelled system and can be used to study(More)
  • 1