Petri nets.
Overview
Works: | 30 works in 15 publications in 15 languages |
---|
Titles
Supervisory Control of Concurrent SystemsA Petri Net Structural Approach /
by:
(Electronic resources)
Petri net technology for communication-based systemsadvances in Petri nets /
by:
(Electronic resources)
Application of Petri nets to communication networksadvances in Petri nets /
by:
(Electronic resources)
Concurrent object-oriented programming and Petri Netsadvances in Petri Nets /
by:
(Electronic resources)
Distributed embedded controller development with petri netsapplication to globally-asynchronous locally-synchronous systems /
by:
(Electronic resources)
A polynomial translation of mobile ambients into safe petri netsunderstanding a calculus of hierarchical protection domains /
by:
(Electronic resources)
Robust modelling and simulationintegration of SIMIO with coloured Petri nets /
by:
(Electronic resources)
Process algebras for Petri netsthe alphabetization of distributed systems /
by:
(Electronic resources)
Paradigms of concurrencyobservations, behaviours, and systems -- a petri net view /
by:
(Electronic resources)
Petri netstheoretical models and analysis methods for concurrent systems /
by:
(Electronic resources)
Colored petri nets for modeling of discrete systemsa practical approach with GPenSIM /
by:
(Electronic resources)
Show more
Fewer
Subjects