Modeling and Verification of Control Systems by Interval Duration Petri Nets.

For the most recent entries see the Petri Nets Newsletter.

Modeling and Verification of Control Systems by Interval Duration Petri Nets.

Popova-Zeugmann, Louchka; Heiner, Monika

In: Burkhard, H.-D.; Czaja, L.; Nguyen, H.-S.; Starke, P.: Proceedings of the CSP'99 Workshop, Warsaw, 28-30 September 1999, pages 191-195. 1999.

Abstract: In this paper, a two-step Petri net based method for modeling and verification of systems with inherent concurrency is demonstrated by considering a special task.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography