Sage Journals: Discover world-class research

Retricted access

Research article

First published 2018

A Petri Net Based Modeling of Active Objects and Futures

Frank S. de Boer, Mario Bravetti, Matias D. Lee [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1999-2

Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets

Keijo Heljanko

Fundamenta Informaticae

Retricted access

Research article

First published 2018

On Deadlockability,Liveness and Reversibility in Subclasses of Weighted Petri Nets

Thomas Hujsa, Raymond Devillers

Fundamenta Informaticae

Retricted access

Research article

First published 2011-5

Deadlock-free assignment of wafer processing in photolithography equipment - by using a CPN model

Xiaoyi He, Zhiming Wu

Transactions of the Institute of Measurement and Control

Open access

Research article

First published 2015-9

Modeling and Analyzing CSMA/CA Protocol for Energy-Harvesting Wireless Sensor Networks

Zhi Chen, Ya Peng, Wenjing Yue

International Journal of Distributed Sensor Networks

Open access

Research article

First published 2020-1

A Pareto-based genetic algorithm for multi-objective scheduling of automated manufacturing systems

Xin Zan, Zepeng Wu, Cheng Guo [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 2021

Symbolic and Structural Model-Checking

Yann Thierry-Mieg

Fundamenta Informaticae

Retricted access

Research article

First published 2016-7

A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems

Rosa Yousefian, Shahryar Aboutorabi, Vahid Rafe

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

Retricted access

Research article

First published 2009-11

Performance considerations of embedded computations in distributed databases

Masaki Hasegawa, Subhash Bhalla, Laurence T. Yang

Journal of Embedded Computing

Open access

Research article

First published 2020-5

Design and model checking of timed automata oriented architecture for Internet of thing

Guang Chen, Tonghai Jiang, Meng Wang [...]

International Journal of Distributed Sensor Networks

Search results