Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Modelling Railway Interlocking Tables Using Coloured Petri Nets
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
Modeling and verification of time dependent systems using time Petri nets
Siphon-based deadlock prevention for a class of S4PR generalized Petri nets
Reliability modelling and evaluation of dynamic systems with stochastic Petri nets (tutorial)
An Algorithm for the General Petri Net Reachability Problem
Conversion of Petri net controllers for manufacturing systems into ladder logic diagrams
A Survey of Petri Net Tools
Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review
Elementary Siphons of Petri Nets and Deadlock Control in FMS
Verification of timed-arc Petri nets
Deadlock Avoidance Controller Design for Timed Petri Nets Using Stretching
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications
Petri Nets and Dependability
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
A Region-Based Algorithm for Discovering Petri Nets from Event Logs
MODELLING OF QUEUES BY USING OF PETRI NET SIMULATOR
Decomposing Petri nets for process mining: A generic approach
Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities
A Petri net based deadlock prevention policy for flexible manufacturing systems
Event-driven simulation of digital circuits using modified Petri nets algorithm
Monocular 3D Human Pose Estimation by Predicting Depth on Joints
Web Mining for Open Source Intelligence
Rogue Access Point Detection by Analyzing Network Traffic Characteristics
gestufte kontrolle bei videouberwachungsanlagen .
Conversion of Petri net controllers for manufacturing systems into ladder logic diagrams