Modeling inheritance anomaly in concurrent systems using colored Petri nets.

Bhushan Bauskar Boleslaw Mikolajczak

Published in: SMC (5) (2004)

Keyphrases

colored petri nets
concurrent systems
petri net
object oriented
distributed systems
process algebra
transition systems
web services
temporal logic
open source
anomaly detection
neural network
information systems
intrusion detection
model checking
web service composition