Process Algebra: A Petri-Net-Oriented Tutorial.

Eike Best Maciej Koutny

Published in: Lectures on Concurrency and Petri Nets (2003)

Keyphrases

petri net
process algebra
concurrent systems
petri net model
concurrent programs
service composition
web service composition
colored petri nets
web services composition
fuzzy petri net
ims ld
formal methods
stochastic petri net
asynchronous circuits
process model
fuzzy sets
formal specification
model checking