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 2015-11

Intermodal terminal cargo handling simulation using Petri nets with predicates

CA Silva, C Guedes Soares, JP Signoret

Proceedings of the Institution of Mechanical Engineers,Part M: Journal of Engineering for the Maritime Environment

Retricted access

Research article

First published 2002

Petri Net Modeling and Analysis of Automated Container Terminal Using Automated Guided Vehicle Systems

Chin-I. Liu, P. A. Ioannou

Transportation Research Record: Journal of the Transportation Research Board

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 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 2015-4

ω-Petri Nets: Algorithms and Complexity

Gilles Geeraerts, Alexander Heußner, M. Praveen [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2020

Stop-transitions of Petri Nets *

Jörg Desel, Marc Finthammer

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 2013-1

Refinement of Synchronizable Places with Multi-workflow Nets

Kees M. van Hee, Natalia Sidorova, Jan Martijn van der Werf

Fundamenta Informaticae

Retricted access

Research article

First published 2013-1

Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning

Pierre-Alain Reynier, Frédéric Servais

Fundamenta Informaticae

Search results