The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers.

Pierre Azéma Bernard Berthomieu Paul Decitre

Published in: IFIP Congress (1980)

Keyphrases

petri net
design process
manufacturing systems
web services
discrete event systems
petri net model
knowledge based systems
sequence diagrams
colored petri nets
real time
neural network
fuzzy reasoning
contract net protocol
holonic manufacturing systems