For the most recent entries see the Petri Nets Newsletter.

Analyzing Temporal Constraints with Binary Decision Diagrams.

Delfieu, D.; Molinaro, P.; Roux, O.H.

In: WRTP’2000 25th IFAC Workshop on Real-Time Programming, pages 131-136. May 2000.

Abstract: We propose to analyze temporal aspects of a Time Petri Net (TPN) specication by means of Binary Decision Diagrams (BDD). BDD are used to build concise struture of the temporal behavior of the TPN. Moreover, an interpreter of a logical language is used to express easily queries on that structure.

Keywords: Time Petri Net, Temporal Constraints, Binary Decision Diagrams.

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

Back to the Petri Nets Bibliography