For the most recent entries see the
Petri Nets Newsletter.
Keyword: parallel programming language
Compositional high-level Petri net semantics of a parallel programming language with procedures.
A Petri Net Semantics for B(PN)² with Procedures.
A Petri Net Semantics for B(PN)² with Procedures which Allows Verification.
PEP: A Programming Environment based on Petri Nets.
PNPL: a Parallel Programming Language Based on Petri Net, which is Written by Chart and Text.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography