Shuffle Equations, Parallel Transition Systems and Equational Petri Nets.

Stephen L. Bloom Klaus Sutner

Published in: TAPSOFT, Vol.1 (1989)

Keyphrases

petri net
concurrent systems
transition systems
reactive systems
discrete event systems
petri net model
model checking
fuzzy petri net
colored petri nets
web service composition
temporal logic
service composition
real time
finite state
practical reasoning
theorem prover
knowledge base