Combined process algebra and Petri nets for specification of resource booking problems.

Petter Falkman Bengt Lennartson

Published in: ACC (2001)

Keyphrases

process algebra
petri net
concurrent systems
formal specification
asynchronous circuits
model checking
formal methods
colored petri nets
state machines
communication protocols
web services composition
petri net model
discrete event systems
information systems
distributed systems
web service composition