Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Branislav Hrúz
Petri Nets Properties Related to the Unboundness and Analyzed Using Coverability Multigraph
Journal of Applied Mathematics, Statistics and Informatics
Related publications
Parameterized Complexity and Approximability of Coverability Problems in Weighted Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm With Pruning
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Modelling and Simulation of AGVs Using Petri Nets
Robotics & Automation Engineering Journal
Timed Petri Nets and BQOs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Approximate Performability Analysis Using Generalized Stochastic Petri Nets
A New Approach to the System Reliability Analysis Using Reverse Petri Nets
Controller Synthesis of Time Petri Nets Using Stopwatch
Journal of Engineering (United States)
Electronic Engineering
Industrial
Mechanical Engineering
Civil
Structural Engineering
Manufacturing Engineering
Hardware
Electrical
Chemical Engineering
Architecture
Control of Safe Ordinary Petri Nets Using Unfolding
Discrete Event Dynamic Systems: Theory and Applications
Control
Electronic Engineering
Systems Engineering
Simulation
Electrical
Modeling
Supervisors of Petri Nets
Research Papers Faculty of Materials Science and Technology Slovak University of Technology
