Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Measure of Uncertainty in Process Models Using Stochastic Petri Nets and Shannon Entropy
An entropy-based uncertainty measure of process models
Modeling and verification of time dependent systems using time Petri nets
Petri Nets : Properties , Analysis and Appl ka t ions
An Introduction to the Theoretical Aspects of Coloured Petri Nets
Business Process Verification using Formal Language Petri Net: An Approach
Prediction of Remaining Service Execution Time Using Stochastic Petri Nets with Arbitrary Firing Delays
The Application of Petri Nets to Workflow Management
Modelling biological processes using workflow and Petri Net models
From Coloured Petri Nets to Object Petri Nets
A Small Universal Petri Net
On statistical model checking of stochastic systems
A coloured Petri net trust model
Codiagnosability Analysis of Bounded Petri Nets
MODELLING OF QUEUES BY USING OF PETRI NET SIMULATOR
Petri Nets and Dependability
Recent Advances in Mathematical Programming Techniques for the Optimization of Process Systems under Uncertainty
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Verification of timed-arc Petri nets
Discovering colored Petri nets from event logs
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
Adopting the Cognitive Complexity Measure for Business Process Models
A performance comparison of contemporary DRAM architectures
Implementation of CBT for Youth Affected by the World Trade Center Disaster: Matching Need to Treatment Intensity and Reducing Trauma Symptoms
depression , somatization and the " new cross - cultural psychiatry " .
Motivated Reinforcement Learning