Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems.

Ugo A. Buy Gaurav Singal

Published in: COMPSAC (2002)

Keyphrases

petri net
concurrent systems
transition systems
reactive systems
petri net model
model checking
temporal logic
finite state
fuzzy petri net
discrete event systems
colored petri nets
web service composition
service composition
distributed systems
learning algorithm
web services