Login / Signup
An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case.
Manuel I. Capel
Juan Antonio Holgado Terriza
Agustín Escámez
Published in:
MSVVEIS (2005)
Keyphrases
</>
manufacturing industry
process algebra
machine learning
asynchronous circuits
formal methods
decision making
digital libraries
wireless networks
petri net
model checking
concurrent systems
concurrent programs