Explore Books on
petri nets

1-24 of 296 Books

Cover of Coloured Petri Nets, Vol. 1 by kurt jensen

Coloured Petri Nets, Vol. 1

By Kurt Jensen

Cover of Verification of systems and circuits using LOTOS, Petri Nets, and CCS by michael yoeli,michael yoeli,rakefet kol

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

By Michael Yoeli,Michael Yoeli,Rakefet Kol

Cover of System modeling and control with resource-oriented Petri nets by mengchu zhou

System modeling and control with resource-oriented Petri nets

By MengChu Zhou

Discrete Event Systems in Dioid Algebra and Conventional Algebra

Discrete Event Systems in Dioid Algebra and Conventional Algebra

By Philippe Declerck

Cover of Coloured Petri Nets by kurt jensen

Coloured Petri Nets

By Kurt Jensen

Cover of Petri Nets by michel diaz

Petri Nets

By Michel Diaz

Logic, Computation, Hierarchies

Logic, Computation, Hierarchies

By Vasco Brattka,Hannes Diener,Dieter Spreen

Cover of Advances in Petri nets, 1986 by w. brauer,wolfgang reisig,g. rozenberg

Advances in Petri nets, 1986

By W. Brauer,Wolfgang Reisig,G. Rozenberg

Cover of Carl Adam Petri by einar smith,tim denvir

Carl Adam Petri

By Einar Smith,Tim Denvir

Discrete-event simulation of fluid stochastic Petri nets

Discrete-event simulation of fluid stochastic Petri nets

By Gianfranco Ciardo

Cover of Modelling and analysis of hybrid supervisory systems by emilia villani,paulo eigi miyagi,robert valette

Modelling and analysis of hybrid supervisory systems

By Emilia Villani,Paulo Eigi Miyagi,Robert Valette

Cover of Stochastic Petri Nets by peter j. haas

Stochastic Petri Nets

By Peter J. Haas

Cover of Free choice Petri nets by jorg desel,javier esparza

Free choice Petri nets

By Jorg Desel,Javier Esparza

Cover of Net theory and applications by advanced course on general net theory of processes andsystems (1979 hamburg)

Net theory and applications

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

Discrete-time Markovian stochastic Petri nets

Discrete-time Markovian stochastic Petri nets

By Gianfranco Ciardo

Cover of Petri nets by michel diaz

Petri nets

By Michel Diaz

Cover of Parallel and distributed logic programming by alakananda bhattacharya

Parallel and distributed logic programming

By Alakananda Bhattacharya

Cover of Supervisory control of concurrent systems by marian v. iordache,panos j. antsaklis

Supervisory control of concurrent systems

By Marian V. Iordache,Panos J. Antsaklis

Cover of Advances in Petri Nets 1988 by grzegorz rozenberg

Advances in Petri Nets 1988

By Grzegorz Rozenberg

Cover of Advances in Petri Nets 1985 by grzegorz rozenberg

Advances in Petri Nets 1985

By Grzegorz Rozenberg

Cover of Verifying temporal properties of systems by j. c. bradfield

Verifying temporal properties of systems

By J. C. Bradfield

Cover of Modeling, simulation, and control of flexible manufacturing systems by mengchu zhou,kurapati venkatesh

Modeling, simulation, and control of flexible manufacturing systems

By Mengchu Zhou,Kurapati Venkatesh

Cover of Sixth International Workshop on Discrete Event Systems by workshop on discrete event systems (6th 2002 zaragoza, spain)

Sixth International Workshop on Discrete Event Systems

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

Cover of Discrete, continuous, and hybrid Petri Nets by rené david,hassane alla

Discrete, continuous, and hybrid Petri Nets

By René David,Hassane Alla