Sage Journals: Discover world-class research

Retricted access

Research article

First published 2015-9

Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics

José Antonio Mateo, Jiří Srba, Mathias Grund Sørensen

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 2009-11

Expressiveness of Petri Nets with Stopwatches. Discrete-time Part

Morgan Magnin, Pierre Molinaro, Olivier (H.) Roux

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 2009-11

Expressiveness of Petri Nets with Stopwatches. Dense-time Part

Morgan Magnin., Pierre Molinaro, Olivier (H.) Roux

Fundamenta Informaticae

Retricted access

Research article

First published 2008-5

Translation of Intermediate Language to Timed Automata with Discrete Data

Agata Janowska, Paweł Janowski, Dobiesław Wróblewski

Fundamenta Informaticae

Retricted access

Research article

First published 2011-9

Maximally Parallel Probabilistic Semantics for Multiset Rewriting

Roberto Barbuti, Francesca Levi, Paolo Milazzo [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8-9

Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations

Artur Męski, Maciej Koutny, Wojciech Penczek

Fundamenta Informaticae

Retricted access

Review article

First published 2012-8

Why Semantic Differentials in Web-Based Research Should Be Made from Visual Analogue Scales and Not from 5-Point Scales

Frederik Funke, Ulf-Dietrich Reips

Field Methods

Retricted access

Research article

First published 2002-01

A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems

Pieter J. Mosterman, Gautam Biswas

SIMULATION

Search results