Characterization of Reachable Attractors Using Petri Net Unfoldings.

Thomas Chatain Stefan Haar Loïg Jezequel Loïc Paulevé Stefan Schwoon

Published in: CMSB (2014)

Keyphrases

petri net
petri net model
discrete event systems
high level petri nets
service composition
manufacturing systems
web service composition
stochastic petri net
process model
fuzzy petri net
ims ld
reactive systems
colored petri nets
artificial intelligence
medical images
description language