Petri nets.

Formal and natural computing = essays dedicated to Grzegorz Rozenberg / by: (書目-語言資料,印刷品)

Stochastic Petri nets = modelling, stability, simulation / by: (書目-語言資料,印刷品)

Discrete, continuous, and hybrid petri nets by: (書目-語言資料,印刷品)

Modeling in systems biology = the Petri net approach / by: (書目-電子資源)

Biological petri nets by: (書目-語言資料,印刷品)

System modeling and control with resource-oriented Petri nets by: (書目-電子資源)

Augmented marked graphs by: (書目-電子資源)

Property-preserving petri net process algebra in software engineering by: (書目-電子資源)

Discrete event systems in dioid algebra and conventional algebra by: (書目-電子資源)

Petri net synthesis by: (書目-電子資源)

Distributed embedded controller development with petri nets = application to globally-asynchronous locally-synchronous systems / by: (書目-電子資源)

A polynomial translation of mobile ambients into safe petri nets = understanding a calculus of hierarchical protection domains / by: (書目-電子資源)

Systems dependability assessment = benefits of petri nets models / by: (書目-電子資源)

Robust modelling and simulation = integration of SIMIO with coloured Petri nets / by: (書目-電子資源)

Process algebras for Petri nets = the alphabetization of distributed systems / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency XII by: (書目-電子資源)

Carl Adam Petri = ideas, personality, impact / by: (書目-電子資源)

Petri nets for modeling of large discrete systems by: (書目-電子資源)

Paradigms of concurrency = observations, behaviours, and systems -- a petri net view / by: (書目-電子資源)

Petri nets = theoretical models and analysis methods for concurrent systems / by: (書目-電子資源)

Colored petri nets for modeling of discrete systems = a practical approach with GPenSIM / by: (書目-電子資源)