Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-6

Condition-based maintenance using dynamic decisions by Petri nets and Dempster—Shafer theory: a matrix-based approach

P. Ballal, F. Lewis

Transactions of the Institute of Measurement and Control

Free access

Research article

First published 2003-8

Topological Analysis of Metabolic Networks Based on Petri Net Theory

Ionela Zevedei-Oancea, Stefan Schuster

In Silico Biology

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 2016-5

The fault diagnosis of aircraft power system based on inverse problem of fuzzy optimization

Huang Cao, Yuan Haiwen, Ma Zhao [...]

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Retricted access

Research article

First published 2017-5

A new method for the redundancy analysis of Petri net-based liveness enforcing supervisors

Gökhan Gelen, Murat Uzam, ZhiWu Li

Transactions of the Institute of Measurement and Control

Open access

Research article

First published 2026

HIT: a minimalist metric for adaptive information compression in dynamic environments

A Artturi Juvonen

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

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

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

Search results