Discrete event systems in dioid algebra and conventional algebra /Author: Declerck, Philippe
Publisher: London : ISTE ;
Date: c2013. This title can be found in 1 Iowa libraries.
Formal methods in manufacturing systems : recent advances /Publisher: Hershey, PA : Engineering Science Reference,
Date: [2013] This title can be found in 1 Iowa libraries.
Property-preserving petri net process algebra : in software engineering /Publisher: Singapore ; World Scientific,
Date: c2012. This title can be found in 1 Iowa libraries.
Modeling business processes : a petri net-oriented approach /Author: Aalst, Wil van der.
Publisher: Cambridge, Mass. : MIT Press,
Date: c2011. This title can be found in 1 Iowa libraries.
System modeling and control with resource-oriented Petri nets /Author: Wu, Naiqi.
Publisher: Boca Raton, FL : CRC Press,
Date: c2010. This title can be found in 1 Iowa libraries.
Modeling and simulation of distributed systems /Author: Kostin, Alexander
Publisher: Singapore : World Scientific,
Date: c2010. This title can be found in 2 Iowa libraries.
Discrete, continuous, and hybrid Petri Nets /Author: David, René,
Publisher: Berlin : Springer,
Date: 2010. This title can be found in 1 Iowa libraries.
Deadlock resolution in automated manufacturing systems : a novel petri net approach /Author: Li, ZhiWu,
Publisher: London : Springer,
Date: 2009. This title can be found in 1 Iowa libraries.
Transactions on petri nets and other models of concurrency IIIFormat: [electronic resource] /
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Coloured petri nets modelling and validation of concurrent systems /Format: [electronic resource] :
Author: Jensen, K.
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Applications and theory of petri nets 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Applications and theory of Petri nets 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2008. This title can be found in 1 Iowa libraries.
Transactions on petri nets and other models of concurrency. I.Format: [electronic resource] /
Publisher: Berlin : Springer-Verlag,
Date: c2008. This title can be found in 1 Iowa libraries.
Verification of systems and circuits using LOTOS, Petri Nets, and CCS /Author: Yoeli, Michael,
Publisher: Hoboken, N.J. : Wiley-Interscience,
Date: c2008. This title can be found in 1 Iowa libraries.
Dynamic analysis of Petri net-based discrete systems /Author: Karatkevich, Andrei.
Publisher: New York : New York : Springer,
Date: 2007. This title can be found in 2 Iowa libraries.
Petri nets and other models of concurrency : ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 : proceedings /Publisher: New York : New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Petri nets and other models of concurrency ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Modeling and control of discrete-event dynamical systems : with Petri nets and other tool /Author: Hrúz, B.
Publisher: London : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.