Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: a behavioral similarity measure between labeled petri nets based on principal transition sequences - ( short paper ) .
Process Equivalence: Comparing Two Process Models Based on Observed Behavior
MatchSim: a novel similarity measure based on maximum neighborhood matching
Automatic generation of software behavioral models
A guide to selecting a network similarity method
A Petri net based deadlock prevention policy for flexible manufacturing systems
Multi-behaviors Finite State Machine
On Communicating Finite-State Machines
measuring program similarity for efficient benchmarking and performance analysis of computer systems .
A Process Semantics for BPMN
Formal semantics and automated analysis of BPMN process models
Soundness of workflow nets: classification, decidability, and analysis
A Public-Key Cryptosystem Based On Stochastic Petri Net
Failure Identification in Smart Grids Based on Petri Net Modeling
Explaining Transition Systems through Program Induction
Bisimulation minimisation mostly speeds up probabilistic model checking
Rescheduling Trains Using Petri Nets and Heuristic Search
Symbolic and parametric model checking of discrete-time markov Chains
Transition Systems Reduction: Balancing between Precision and Simplicity
Process Mining: Discovering Direct Successors in Process Logs
A Modest Approach to Checking Probabilistic Timed Automata
Secure clustering and routing for heterogeneous mobile wireless sensor networks with dynamic key management
Context-Aware Wireless Sensors for IoT-Centeric Energy-Efficient Campuses
Workflow mining: discovering process models from event logs
Tweets from Justin Bieber's heart: the dynamics of the location field in user profiles
A Modelling Approach Based on Fuzzy Agents