Unbounded Petri Net Synthesis.

Philippe Darondeau

Published in: Lectures on Concurrency and Petri Nets (2003)

Keyphrases

petri net
petri net model
high level petri nets
discrete event systems
manufacturing systems
colored petri nets
web service composition
service composition
fuzzy petri net
stochastic petri net
concurrent systems
process model
multistage
neural network
reactive systems
story generation
genetic algorithm