Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-7

Unfolding Semantics of Petri Nets Based on Token Flows

Robin Bergenthum, Sebastian Mauser, Robert Lorenz [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2009-8

Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings

Agnes Madalinski., Eric Fabre

Fundamenta Informaticae

Retricted access

Research article

First published 2022

Methods for Efficient Unfolding of Colored Petri Nets

Alexander Bilgram, Peter G. Jensen, Thomas Pedersen [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2010-5

Diagnosability verification with Petri net unfoldings

Agnes Madalinski, Farid Nouioua, Philippe Dague

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2024-09-20

Taking Complete Finite Prefixes To High Level,Symbolically *

Nick Würdemann, Thomas Chatain, Stefan Haar [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2013-1

Branching Processes of General Petri Nets

Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil

Fundamenta Informaticae

Retricted access

Research article

First published 2015-9

A Causal View on Non-Interference *

Paolo Baldan, Alberto Carraro

Fundamenta Informaticae

Retricted access

Research article

First published 2009-7

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

Roland Meyer, Victor Khomenko, Tim Strazny

Fundamenta Informaticae

Retricted access

Research article

First published 2002-6

Reachability in Contextual Nets

Józef Winkowski

Fundamenta Informaticae

Retricted access

Research article

First published 2020

Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence

Luca Bernardinello, Carlo Ferigato, Lucia Pomello

Fundamenta Informaticae

Search results