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