1-24 of 295 Books

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
By Michael Yoeli,Michael Yoeli,Rakefet Kol
Discrete Event Systems in Dioid Algebra and Conventional Algebra
Discrete Event Systems in Dioid Algebra and Conventional Algebra
By Philippe Declerck

System modeling and control with resource-oriented Petri nets
By MengChu Zhou
Discrete-event simulation of fluid stochastic Petri nets
Discrete-event simulation of fluid stochastic Petri nets
By Gianfranco Ciardo

Advances in Petri nets, 1986
By W. Brauer,Wolfgang Reisig,G. Rozenberg
Logic, Computation, Hierarchies
Logic, Computation, Hierarchies
By Vasco Brattka,Hannes Diener,Dieter Spreen

Sixth International Workshop on Discrete Event Systems
By Workshop on Discrete Event Systems (6th 2002 Zaragoza, Spain)

Hardware design and petri nets
By Luís Gomes,Luciano Lavagno
Discrete-time Markovian stochastic Petri nets
Discrete-time Markovian stochastic Petri nets
By Gianfranco Ciardo

Net theory and applications
By Advanced Course on General Net Theory of Processes andSystems (1979 Hamburg)

Lectures on Petri nets
By Wolfgang Reisig,Grzegorz Rozenberg

Modelling and analysis of hybrid supervisory systems
By Emilia Villani,Paulo Eigi Miyagi,Robert Valette
Augmented Marked Graphs
Augmented Marked Graphs
By King Sing Cheung

Advances in Petri Nets 1985
By Grzegorz Rozenberg

Free choice Petri nets
By Jorg Desel,Javier Esparza
Distributed state-space generation of discrete-state stochastic models
Distributed state-space generation of discrete-state stochastic models
By Gianfranco Ciardo
Territorialʹno-proizvodstvennye kompleksy
Territorialʹno-proizvodstvennye kompleksy
By Mark Konstantinovich Bandman