Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Huorong Ren

On State-Space Compression and State Reachability Retrieval of Petri Nets

Advances in Mechanical Engineering
Mechanical Engineering
2019English

Related publications

Compositional Reachability in Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

State Space Analysis of Flexible Manufacturing Cell Using Timed Colored Petri Nets

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2017English

Symmetry Reduced State Classes for Time Petri Nets

2015English

A Holistic State Equation for Timed Petri Nets

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

The Reachability Problem for Petri Nets Is Not Elementary

2019English

State of the Art in Interactive Storytelling Technology: An Approach Based on Petri Nets

2012English

A Class of Petri Nets That a Necessary and Sufficient Condition for Reachability Is Obtainable

Transactions of the Society of Instrument and Control Engineers
1988English

On Minimality and Equivalence of Petri Nets

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

On Categories of Fuzzy Petri Nets

Advances in Fuzzy Systems
ControlComputational MathematicsOptimizationSystems Engineering
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy