Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: A colored Petri net model for the France Paris metro system
Modelling Railway Interlocking Tables Using Coloured Petri Nets
MODELLING OF QUEUES BY USING OF PETRI NET SIMULATOR
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications
The Application of Petri Nets to Workflow Management
Decomposing Petri nets for process mining: A generic approach
Airport Traffic Simulation Using Petri Nets
Modeling Business Processes: A Petri Net-Oriented Approach
Reliability modelling and evaluation of dynamic systems with stochastic Petri nets (tutorial)
Codiagnosability Analysis of Bounded Petri Nets
Verification of timed-arc Petri nets
Using Coloured Petri Nets in Penetration Testing
Logic Programming Petri Nets
Modeling of Customer Centric eGovernment System using Petri Nets
Petri Nets and Dependability
Railway fail-safe signalization and interlocking design based on automation Petri Net
Elementary Siphons of Petri Nets and Deadlock Control in FMS
Reversible Computation in Petri Nets
object oriented modeling with object petri nets .
Resource-oriented Petri nets in deadlock avoidance of AGV systems
Rescheduling Trains Using Petri Nets and Heuristic Search
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
Selection of the Forecasting Model in Health Care
A Single-Blinded, Randomized Pilot Study Evaluating Effects of Electroacupuncture in Diabetic Patients with Symptoms Suggestive of Gastroparesis
SPABox: Safeguarding Privacy During Deep Packet Inspection at a MiddleBox
Design of modular humanoid rehabilitation robot for apoplectic hemiplegia