Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Hsiu-Sen Chiang

Using Associative Petri Net With Over-Sampling Techniques to Construct an Aviation Incident Prediction Model

International Journal of Future Computer and Communication
2017English

Related publications

High-Level Petri Net Model Checking With AlPiNA

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2011English

Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net

International Journal of Computer Applications
2013English

Towards a Certified Petri Net Model-Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Petri Net Analysis Using Invariant Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Adaptive Scheduling Model in Hybrid Flowshop Production Control Using Petri Net

International Journal of Control and Automation
ControlSystems Engineering
2015English

Modeling of Updating Moving Object Database Using Timed Petri Net Model

IJCI. International Journal of Computers and Information
2007English

Mapping AADL to Petri Net Tool-Sets Using PNML Framework

Journal of Software Engineering and Applications
2014English

Incremental Process Discovery Using Petri Net Synthesis

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2017English

Petri Net Synthesis

Texts in Theoretical Computer Science. An EATCS Series
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy