Petri nets.
Overview
| Works: | 31 works in 13 publications in 13 languages | |
|---|---|---|
Titles
A polynomial translation of mobile ambients into safe petri nets = understanding a calculus of hierarchical protection domains /
by:
(Electronic resources)
Process algebras for Petri nets = the alphabetization of distributed systems /
by:
(Electronic resources)
Petri nets = theoretical models and analysis methods for concurrent systems /
by:
(Electronic resources)
Colored petri nets for modeling of discrete systems = a practical approach with GPenSIM /
by:
(Electronic resources)
Concurrent object-oriented programming and Petri Nets = advances in Petri Nets /
by:
(Language materials, printed)
Distributed embedded controller development with petri nets = application to globally-asynchronous locally-synchronous systems /
by:
(Electronic resources)
Robust modelling and simulation = integration of SIMIO with coloured Petri nets /
by:
(Electronic resources)
Paradigms of concurrency = observations, behaviours, and systems -- a petri net view /
by:
(Electronic resources)
Formal and natural computing = essays dedicated to Grzegorz Rozenberg /
by:
(Language materials, printed)
Petri net technology for communication-based systems = advances in Petri nets /
by:
(Language materials, printed)
Application of Petri nets to communication networks = advances in Petri nets /
by:
(Language materials, printed)
Show more
Fewer
Subjects