Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Modelling biological processes using workflow and Petri Net models
The Application of Petri Nets to Workflow Management
Petri Nets : Properties , Analysis and Appl ka t ions
Transformation and validation of BPMN models to Petri nets models using GROOVE
An Introduction to the Theoretical Aspects of Coloured Petri Nets
Modeling and verification of time dependent systems using time Petri nets
From Coloured Petri Nets to Object Petri Nets
Reliability modelling and evaluation of dynamic systems with stochastic Petri nets (tutorial)
Logic Programming Petri Nets
Business Process Verification using Formal Language Petri Net: An Approach
Railway Network Modelling Using Petri Nets
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
A modular Petri net to modeling and scenario analysis of a network of road traffic signals
MODELLING OF QUEUES BY USING OF PETRI NET SIMULATOR
Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
modular petri net modeling of healthcare systems - draft - .
Scientific workflows for process mining: building blocks, scenarios, and implementation
Actions as Activities and Activities as Petri nets
Data Flow and Validation in Workflow Modelling
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications
Codiagnosability Analysis of Bounded Petri Nets
a one - vs - one classifier ensemble with majority voting for activity recognition .
Semi-supervised sequence tagging with bidirectional language models
EEG-GAN: Generative adversarial networks for electroencephalograhic (EEG) brain signals
The Correlation Ratio as a New Similarity Measure for Multimodal Image Registration
object - oriented programming in common lisp - a programmer ' s guide to clos .