Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sarah J. Dunnett
A New Methodology for Automated Petri Net Generation: Method Application
Reliability Engineering and System Safety
Industrial
Risk
Applied Mathematics
Manufacturing Engineering
Reliability
Safety
Quality
Automated Guided Vehicle Mission Reliability Modelling Using a Combined Fault Tree and Petri Net Approach
International Journal of Advanced Manufacturing Technology
Control
Systems Engineering
Industrial
Mechanical Engineering
Manufacturing Engineering
Computer Science Applications
Software
Related publications
Petri Net Analysis Using Invariant Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net
International Journal of Computer Applications
Petri Net Synthesis
Texts in Theoretical Computer Science. An EATCS Series
Pemodelan Hybrid Sintesis Pada Automated Manufacturing System (Ams) Dengan Menggunakan Petri Net
BAREKENG: Jurnal Ilmu Matematika dan Terapan
Diagram Unified Modelling Language Untuk Memodelkan Layanan Automated Teller Machine Dengan Petri Net
BAREKENG: Jurnal Ilmu Matematika dan Terapan
A Fast Method for Extracting All Minimal Siphons From Maximal Unmarked Siphons of a Petri Net
Journal of Software
Towards a Certified Petri Net Model-Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parallel Application Scheduling Model Based on Petri Net With Changeable Structure
