Petri nets.

Modeling in systems biologythe 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 netsapplication to globally-asynchronous locally-synchronous systems / by: (書目-電子資源)

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

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

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

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

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

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

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

Modeling discrete-event systems with GPenSIMan introduction / by: (書目-電子資源)

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

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

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

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

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