Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net.

P. David Stotts Terrence W. Pratt

Published in: J. Parallel Distributed Comput. (1990)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
fuzzy petri net
web service composition
colored petri nets
high level petri nets
service composition
neural network
stochastic petri net
ims ld
concurrent systems
learning environment
process model