Sage Journals: Discover world-class research

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 2018-1-31

Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets

Elisabeth Pelz

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-12-24

True Concurrent Equivalences in Time Petri Nets *

Irina Virbitskaite, Dmitry Bushin, Eike Best

Fundamenta Informaticae

Retricted access

Research article

First published 2008-7

Towards Building the State Class Graph of the TSPN Model

Abdelkrim Abdelli, Nadjib Badache

Fundamenta Informaticae

Retricted access

Research article

First published 2009-6

Petri Nets with Time Windows: A Comparison to Classical Petri Nets

Jan-Thierry Wegener, Louchka Popova-Zeugmann

Fundamenta Informaticae

Retricted access

Research article

First published 2008-11

A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties

Hanifa Boucheneb, Hind Rakkay

Fundamenta Informaticae

Retricted access

Research article

First published 2014-2

Analysis of real-time system conflict based on fuzzy time Petri nets

Zhao Tian, Zun-Dong Zhang, Yang-Dong Ye [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Free access

Research article

First published 2024

Waiting Nets: State Classes and Taxonomy

Loïc Hélouët, Pranay Agrawal

Fundamenta Informaticae

Retricted access

Research article

First published 2008-10

On the Compared Expressiveness of Arc,Place and Transition Time Petri Nets

Marc Boyer, Olivier H. Roux

Fundamenta Informaticae

Search results