Sage Journals: Discover world-class research

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

Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays

Louchka Popova-Zeugmann, Elisabeth Pelz

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 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 2014-4

Fault severity analysis of the time-dependent mechanical systems by the revised Time Petri net

Jianing Wu, Shaoze Yan, Yongxia Gu

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

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 2013-3

Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets

Daniel Graff, Jan Richling, Matthias Werner

Fundamenta Informaticae

Retricted access

Research article

First published 1990

A Compositional Semantics for Timed Petri Nets 1

Andrea Maggiolo-Schettini, Józef Winkowski

Fundamenta Informaticae

Open access

Research article

First published 2020-11

Path planning for automated guided vehicle systems with time constraints using timed Petri nets

Zhou He, Yuying Dong, Gongchang Ren [...]

Measurement and Control

Search results