Petri Nets as Models of Linear Logic.

Uffe Engberg Glynn Winskel

Published in: CAAP (1990)

Keyphrases

petri net
linear logic
stochastic petri net
process model
petri net model
reactive systems
complex systems
machine learning
discrete event systems
artificial intelligence
decision making
probabilistic model
general purpose
model checking
service composition
sequence diagrams