Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Warda Elkholy
Modeling of Updating Moving Object Database Using Timed Petri Net Model
IJCI. International Journal of Computers and Information
Related publications
A Timed Petri Net Model for the Quay Crane Scheduling Problem
Modeling, Implementation and Simulation of Virtual Factory Based on Colored Timed Petri Net
Modeling Moving-Block Railway Systems: A Generalized Batches Petri Net Approach
SICE Journal of Control, Measurement, and System Integration
Modeling of Complex Apron Conflict Control Based on Petri Net Model
Modeling Internet Host Reliability Using Higher-Order Time Petri Net
International Journal of Computer Applications
Optimization for Manufacturing Process Based on Timed Petri Net and Genetic Algorithm
The Derivation of Performance Expressions for Communication Protocols From Timed Petri Net Models
Towards a Certified Petri Net Model-Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Petri Net Analysis Using Invariant Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
