Petri nets.

A polynomial translation of mobile ambients into safe petri nets = understanding a calculus of hierarchical protection domains / by: (Electronic resources)

Systems dependability assessment = benefits of petri nets models / by: (Electronic resources)

Petri nets for modeling of large discrete systems by: (Electronic resources)

Paradigms of concurrency = observations, behaviours, and systems -- a petri net view / 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)

Petri net primer = a compendium on the core model, analysis, and synthesis / by: (Electronic resources)

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)

Unifying Petri nets = advances in Petri nets / by: (Language materials, printed)

Concurrency and hardware design = advances in Petri nets / by: (Language materials, printed)

Stochastic Petri nets = modelling, stability, simulation / by: (Language materials, printed)

Discrete, continuous, and hybrid petri nets by: (Language materials, printed)

Modeling in systems biology = the Petri net approach / by: (Electronic resources)

System modeling and control with resource-oriented Petri nets by: (Electronic resources)

Property-preserving petri net process algebra in software engineering by: (Electronic resources)

Petri net synthesis by: (Electronic resources)

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)

Process algebras for Petri nets = the alphabetization of distributed systems / by: (Electronic resources)

Transactions on petri nets and other models of concurrency XII by: (Electronic resources)

Carl Adam Petri = ideas, personality, impact / by: (Electronic resources)

Transactions on petri nets and other models of concurrency XVII by: (Electronic resources)