The Distributed Termination Problem: Formal Solution and Correctness Based on Petri Nets.

Dominik Gomm Rolf Walter

Published in: IMYCS (1990)

Keyphrases

petri net
discrete event systems
petri net model
concurrent processes
colored petri nets
manufacturing systems
service composition
fuzzy petri net
state machines
artificial intelligence
reactive systems
programmable logic controller
fuzzy sets
distributed systems
mobile agents
holonic manufacturing systems