Sage Journals: Discover world-class research

Retricted access

Research article

First published 2024-09-20

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets

Jaime Arias, Kyungmin Bae, Carlos Olarte [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2010-6

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics

Michał Knapik, Wojciech Penczek, Maciej Szreter [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Cost Problems for Parametric Time Petri Nets *

Didier Lime, Olivier H. Roux, Charlotte Seidner

Fundamenta Informaticae

Retricted access

Research article

First published 1999-2

Analyzing Paths in Time Petri Nets

Louchka Popova-Zeugmann, Dirk Schlatter

Fundamenta Informaticae

Retricted access

Research article

First published 2011-3

Design and time parameters identification for non-Markovian Petri net models: application to reliability analysis

D Lefebvre

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2016-3-4

Robustness of Time Petri Nets under Guard Enlargement

S. Akshay, Loïc Hélouët, Claude Jard [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2015-10

Modelling and simulation of the operation and maintenance of offshore wind turbines

Fernando Santos, Ângelo P Teixeira, C Guedes Soares

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Open access

Research article

First published 2021

Modeling of a controlled flow cup for improved transitional drinking development in children

Michael M Bailey-Van Kuren, Donna Scarborough

Journal of Rehabilitation and Assistive Technologies Engineering

Search results