Login / Signup
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