Sage Journals: Discover world-class research

Retricted access

Research article

First published 2003-2

Some Considerations on Higher-Order Petri Nets

Berndt Farwer, Manfred Kudlek, Kundan Misra

Fundamenta Informaticae

Retricted access

Research article

First published 2004-4

A New Synchronisation Model for Multi-Level Object Petri Nets

Berndt Farwer, Manfred Kudlek

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States

Petr Jančar, Jérôme Leroux, Grégoire Sutre

Fundamenta Informaticae

Retricted access

Research article

First published 2007-5

An Axiomatization of the Token Game Based on Petri Algebras

Eric Badouel, Jules Chenou, Goulven Guillou

Fundamenta Informaticae

Retricted access

Research article

First published 1996-12

Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets

Józef Winkowski

Fundamenta Informaticae

Retricted access

Research article

First published 2011-5

BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets

Artur Męski, Wojciech Penczek, Agata Półrola

Fundamenta Informaticae

Retricted access

Research article

First published 2024-4

Model-free adaptive backstepping control for a class of uncertain nonlinear systems

Mohamed Segheri, Fares Boudjemaa, Abdelkrim Nemra [...]

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2022

Skeleton Abstraction for Universal Temporal Properties

Sophie Wallner, Karsten Wolf

Fundamenta Informaticae

Retricted access

Research article

First published 2014-1

Formal Description of Alvis Language with α 0 System Layer

Marcin Szpyrka, Piotr Matyasik, Rafał Mrówka [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2016-4

Modeling and simulation of an improved random direction mobility model for wireless networks using colored Petri nets

Naeem Akhtar Khan, Farooq Ahmad

SIMULATION

Search results