Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Siphon-based deadlock prevention for a class of S4PR generalized Petri nets
Elementary Siphons of Petri Nets and Deadlock Control in FMS
Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities
Petri Nets and Dependability
Petri Net DAG Languages and Regular Tree Languages with Synchronization
On the computation of the minimal siphons of S4PR nets from a generating family of siphons
A Small Universal Petri Net
From Coloured Petri Nets to Object Petri Nets
An Algorithm for the General Petri Net Reachability Problem
Reversible Computation in Petri Nets
Codiagnosability Analysis of Bounded Petri Nets
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
An Introduction to the Theoretical Aspects of Coloured Petri Nets
An extended banker's algorithm for deadlock avoidance
Petri Nets : Properties , Analysis and Appl ka t ions
Verification of timed-arc Petri nets
Modeling and verification of time dependent systems using time Petri nets
Lean Reachability Tree for Unbounded Petri Nets
Logic Programming Petri Nets
A Survey of Petri Net Tools
A Region-Based Algorithm for Discovering Petri Nets from Event Logs
Predicting mutation outcome from early stochastic variation in genetic interaction partners
a survey on visible light communication .
Learning Word Representations with Hierarchical Sparse Coding
A Petri net based deadlock prevention policy for flexible manufacturing systems
Corn Disease Identification from Leaf Images Using Convolutional Neural Networks