Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mariken H.C.
Hybrid State Petri Nets Which Have the Analysis Power of Stochastic Hybrid Systems and the Formal Verification Power of Automata
Related publications
Formal Verification of Hybrid Systems
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Advances in Verification of Time Petri Nets and Timed Automata
Studies in Computational Intelligence
Artificial Intelligence
Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems
Continuous Petri Nets: Expressive Power and Decidability Issues
International Journal of Foundations of Computer Science
Computer Science
Design and Analysis of Hybrid Power Systems With Variable Inertia Flywheel
World Electric Vehicle Journal
Automotive Engineering
Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-Stochastic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Complexity of Diagnosability and Opacity Verification for Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
