Implementation of weighted place/transition nets based on Linear Enabling Functions | Publicación