Specification and Verification of Networks in a Petri Net Based Language.
Morten KyngPublished in: European Workshop on Applications and Theory of Petri Nets (1982)
Keyphrases
- specification language
- formal verification
- asynchronous circuits
- model checking
- natural language
- formal languages
- formal language
- formal specification
- programming language
- operational semantics
- language learning
- formal methods
- neural network
- face verification
- computer networks
- protocol specification
- data sets
- network design
- language processing
- complex networks
- network structure
- bayesian networks
- social networks
- database
- modeling language
- network analysis
- learning objects
- model checker
- functional verification