Constrained Properties, Semilinear Systems, and Petri Nets.

Ahmed Bouajjani Peter Habermehl

Published in: CONCUR (1996)

Keyphrases

petri net
discrete event systems
reactive systems
petri net model
embedded real time systems
distributed systems
computer systems
complex systems
service composition
state machines
neural network
data analysis
dynamic systems
ims ld
concurrent systems
concurrent processes