Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021

Coverability,Termination,and Finiteness in Recursive Petri Nets

Alain Finkel, Serge Haddad, Igor Khmelnitsky

Fundamenta Informaticae

Retricted access

Research article

First published 2001-9

Nested Petri Nets: Multi-level and Recursive Systems

Irina A. Lomazova

Fundamenta Informaticae

Retricted access

Research article

First published 2002-6

Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets

Irina A. Lomazova

Fundamenta Informaticae

Retricted access

Research article

First published 2000-8

Nested Petri Nets — a Formalism for Specification and Verification of Multi-Agent Distributed Systems

Irina A. Lomazova

Fundamenta Informaticae

Retricted access

Research article

First published 2013-1

A Petri Net Interpretation of Open Reconfigurable Systems

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

Fundamenta Informaticae

Retricted access

Research article

First published 2011-5

Least-cost planning sequence estimation in labelled Petri nets

Lingxi Li, Christoforos N. Hadjicostis

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 1997-12

Jumping Petri Nets. Specific Properties

Ferucio Laurenţiu Ţiplea, Erkki Mäkinen

Fundamenta Informaticae

Retricted access

Research article

First published 2008-10

Nets with Tokens which Carry Data

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

Fundamenta Informaticae

Retricted access

Research article

First published 2009-7

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation

Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon

Fundamenta Informaticae

Search results