Petri nets.

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

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

Petri net technology for communication-based systems = advances in Petri nets / by: (書目-語言資料,印刷品)

Concurrent object-oriented programming and Petri Nets = advances in Petri Nets / by: (書目-語言資料,印刷品)

Unifying Petri nets = advances in Petri nets / by: (書目-語言資料,印刷品)

Concurrency and hardware design = advances in Petri nets / by: (書目-語言資料,印刷品)

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

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

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

Property-preserving petri net process algebra in software engineering 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: (書目-電子資源)

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

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

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

Petri net primer = a compendium on the core model, analysis, and synthesis / by: (書目-電子資源)

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

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

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

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

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

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