Sage Journals: Discover world-class research

Open access

Research article

First published 2019-2

On state-space compression and state reachability retrieval of Petri nets

Huorong Ren, Jin Xu, Ye Liang [...]

Advances in Mechanical Engineering

Open access

Research article

First published 2009-6

System Dynamics and Feedforward Control for Tether-Net Space Robot System

Guang Zhai, Yue Qiu, Bin Liang [...]

International Journal of Advanced Robotic Systems

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 2001-9

Narrowing Petri Net State Spaces Using the State Equation

Karsten Schmidt

Fundamenta Informaticae

Retricted access

Research article

First published 2025-7

Modeling analysis of soft Pneu-Net actuators from low to high pressure in free space

Yanyan Wu, Mingyue Lu, Li Ding [...]

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2012-5

A time stamp reduction method for state space exploration using colored Petri nets

Mercedes E. Narciso, Miquel A. Piera, Antoni Guasch

SIMULATION

Free access

Research article

First published 2004-11

On Time,Space,and Action Nets

Barbara Czarniawska

Organization

Retricted access

Research article

First published 2006-8

Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets

Berndt Farwer, Michael Köhler

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 2003-2

Distributed Verification with LoLA

Karsten Schmidt

Fundamenta Informaticae

Search results