Sage Journals: Discover world-class research

Retricted access

Research article

First published 1999-2

Finding Symmetries of Algebraic System Nets

Tommi A. Junttila

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 2011-12

High-Level Petri Net Model Checking with AlPiNA

Steve Hostettler, Alexis Marechal, Alban Linard [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2007-1

Stochastic Petri Box Calculus with Discrete Time

Igor V. Tarasyuk

Fundamenta Informaticae

Retricted access

Research article

First published 2003-2

Concurrency in Mobile Object Net Systems

Michael Köhler, Heiko Rölke

Fundamenta Informaticae

Retricted access

Research article

First published 2003-4

Asynchronous Box Calculus

Raymond Devillers, Hanna Klaudel, Maciej Koutny [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1997-9

A Concurrent Functional Semantics for a Process Algebra Based on Action Systems

Ugo Montanari, Gioia Ristori

Fundamenta Informaticae

Retricted access

Research article

First published 2003-2

Proving Nets Correct via Cause-Effect Structures (An Experiment)

Ludwik Czaja

Fundamenta Informaticae

Retricted access

Research article

First published 1994-6

COMBINING CCS AND PETRI NETS VIA STRUCTURAL AXIOMS

Ugo Montanari, Daniel Yankelevich

Fundamenta Informaticae

Retricted access

Research article

First published 2019-10-25

On neutrosophic extended triplet groups (loops) and Abel-Grassmann’s groupoids (AG-groupoids)

Xiaohong Zhang, Xiaoying Wu, Xiaoyan Mao [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Search results