Petri nets.

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: (書目-電子資源)

Petri nets for modeling of large discrete systems 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: (書目-電子資源)

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

Application of Petri nets to communication networks = 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: (書目-語言資料,印刷品)

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

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

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

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

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

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