Search results: Sage Journals

Restricted accessResearch articleFirst published 2021

Coverability,Termination,and Finiteness in Recursive Petri Nets

Alain Finkel, Serge Haddad, Igor Khmelnitsky

Fundamenta Informaticae

Restricted accessResearch articleFirst published September, 2001

Irina A. Lomazova

Fundamenta Informaticae

Restricted accessResearch articleFirst published June, 2002

Irina A. Lomazova

Fundamenta Informaticae

Restricted accessResearch articleFirst published August, 2000

Irina A. Lomazova

Fundamenta Informaticae

Restricted accessResearch articleFirst published January, 2013

Frédéric Peschanski, Hanna Klaudel, Raymond Devillers

Fundamenta Informaticae

Restricted accessResearch articleFirst published May, 2011

Lingxi Li, Christoforos N. Hadjicostis

Transactions of the Institute of Measurement and Control

Restricted accessResearch articleFirst published December, 1997

Ferucio Laurenţiu Ţiplea, Erkki Mäkinen

Fundamenta Informaticae

Restricted accessResearch articleFirst published October, 2008

Ranko Lazić, Tom Newcomb, Joël Ouaknine [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published July, 2009

Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon

Fundamenta Informaticae