Observers for nondeterministic λ-free labeled Petri nets.

Daniele Corona, Alessandro Giua, Carla Seatzu, Jorge Jlvez

Browse the full ETFA paper archive.