A Protocol Specification Language with a High-Level Petri Net Semantics.

Belhassen Zouari Serge Haddad Mohamed Taghelit

Published in: Decentralized and Distributed Systems (1993)

Keyphrases

specification language
petri net
petri net model
high level
programming language
colored petri nets
description language
contract net protocol

model checker
formal specification
manufacturing systems
web service composition
software environment
service composition
fuzzy petri net

general purpose
logic programming
ims ld
object oriented
multistage
process model
artificial intelligence

databases
business processes
domain specific
production process
reinforcement learning
concurrent processes
database