Sage Journals: Discover world-class research

Retricted access

Research article

First published 2019

Formal Properties of Petri’s Cycloid Systems

Rüdiger Valk

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

Uniform verification of workflow soundness

Kamel Barkaoui, Rahma Ben Ayed

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 1988

Behavior Structures and Nets

A. Rabinovich, B.A. Trakhtenbrot

Fundamenta Informaticae

Open access

Research article

First published 2017-5

Deadlock analysis and control based on Petri nets: A siphon approach review

YiFan Hou, Kamel Barkaoui

Advances in Mechanical Engineering

Retricted access

Research article

First published 2000-8

Structural Analysis of Signal-Event Systems

Adrianna Foremniak, Peter H. Starke

Fundamenta Informaticae

Retricted access

Research article

First published 1997-9

Processes in Cause-Effect Systems

Andrea Maggiolo-Schettini, Gionata Matteucci

Fundamenta Informaticae

Retricted access

Research article

First published 2000-8

Occurrence Net Logics

Stefan Haar

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Regular Orthomodular Posets

Andrzej M. Borzyszkowski

Fundamenta Informaticae

Retricted access

Research article

First published 2023-07-02

Performance analysis of Petri net based on moment generating function

Xu Yang

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

Search results