A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jiri Srba

Research output: Contribution to journalConference article in JournalResearchpeer-review

Fingerprint

Dive into the research topics of 'A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets'. Together they form a unique fingerprint.

Engineering & Materials Science