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

Open access

Research article

First published 2016-11

Compound Petri nets and alternatives aggregation Petri nets: Two formalisms for decision-making support

Juan-Ignacio Latorre-Biel, Emilio Jiménez-Macías, Mercedes Pérez-de-la-Parte [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 2022

Computing Parameterized Invariants of Parameterized Petri Nets

Javier Esparza, Mikhail Raskin, Christoph Welzel

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 2021

Cost Problems for Parametric Time Petri Nets *

Didier Lime, Olivier H. Roux, Charlotte Seidner

Fundamenta Informaticae

Retricted access

Research article

First published 2005-6

Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets

Raymond Devillers, Hanna Klaudel

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 2018

Semi-quantitative Modelling of Gene Regulatory Processes with Unknown Parameter Values Using Fuzzy Logic and Petri Nets

Jure Bordon, Miha Moškon, Nikolaj Zimic [...]

Fundamenta Informaticae

Open access

Research article

First published 2016-4

Computer-aided design and simulation of strip layout for progressive die planning using Petri nets

Hussein Mohamed A Hussein, Shailendra Kumar, Emad S Abouel Nasr

Advances in Mechanical Engineering

Search results