Publication

A symbolic algorithm for the synthesis of bounded petri nets (2008)

Author(s): Carmona J; Cortadella J; Kishinevsky M; Kondratyev A; Lavagno L; Yakovlev A

      • Conference Name: Applications and Theory of Petri Nets: 29th International Conference
      • Volume: 5062
      • Pages: 92-111
      • Publisher: Springer
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published
      Staff

      Professor Alex Yakovlev
      Professor of Computer System Design