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.
Back to the Petri Nets Bibliography