Search Results for Petri nets.

Biological petri nets

2026-05-01T00:37:16Z

by Wingender, Edgar.
Click to View
Format: Electronic Resources

Petri nets fundamental models, verification and applications

2026-05-01T00:37:16Z

by Diaz, Michel, 1945-
Click to View
Format: Electronic Resources

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

2026-05-01T00:37:16Z

by Yoeli, Michael, 1917-
Click to View
Format: Electronic Resources

Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets

2026-05-01T00:37:16Z

by De La Mota, Idalia Flores. author.
http://dx.doi.org/10.1007/978-3-319-53321-6
Format: Electronic Resources

Property-preserving petri net process algebra in software engineering

2026-05-01T00:37:16Z

by Huang, Hejiao.
Click to View
Format: Electronic Resources

Systems dependability assessment : benefits of petri net models

2026-05-01T00:37:16Z

by Aubry, Jean-François, author.
Click to View
Format: Electronic Resources

Logic, computation, hierarchies

2026-05-01T00:37:16Z

by Selivanov, Victor, honouree.
Click to View
Format: Electronic Resources

Working material for the lectures of Wilfried Brauer.

2026-05-01T00:37:16Z

by Brauer, Wilfried
Format: Books

Computer systems performance evaluation and prediction

2026-05-01T00:37:16Z

by Fortier, Paul J.
ScienceDirect http://www.sciencedirect.com/science/book/9781555582609
Format: Electronic Resources

Prototyping of Concurrent Control Systems Implemented in FPGA Devices

2026-05-01T00:37:16Z

by Wiśniewski, Remigiusz. author.
http://dx.doi.org/10.1007/978-3-319-45811-3
Format: Electronic Resources

Automation 2017 Innovations in Automation, Robotics and Measurement Techniques

2026-05-01T00:37:16Z

by Szewczyk, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-54042-9
Format: Electronic Resources

Recent Advances in Information Systems and Technologies Volume 1

2026-05-01T00:37:16Z

by Rocha, Álvaro. editor.
http://dx.doi.org/10.1007/978-3-319-56535-4
Format: Electronic Resources

The DS-Pnet modeling formalism for cyber-physical system development

2026-05-01T00:37:16Z

by Pereira, Fernando Joaquim Ganhão, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10798781
Format: Books

Analysis and design of hybrid systems 2006 : a proceedings volume from the 2nd IFAC Conference, 7-9 June, 2006, Alghero, Italy

2026-05-01T00:37:16Z

by ADHS 06 (2006 : Alghero, Italy)
ScienceDirect http://www.sciencedirect.com/science/book/9780080446134
Format: Electronic Resources

Knowledge-based systems : techniques and applications

2026-05-01T00:37:16Z

by Leondes, Cornelius T.
ScienceDirect http://www.sciencedirect.com/science/book/9780124438750 Fulltext
Format: Electronic Resources

Advances in Unconventional Computing Volume 1: Theory

2026-05-01T00:37:16Z

by Adamatzky, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-33924-5
Format: Electronic Resources

Graph-Based Modelling in Engineering

2026-05-01T00:37:16Z

by Zawiślak, Stanisław. editor.
http://dx.doi.org/10.1007/978-3-319-39020-8
Format: Electronic Resources

Advances in computers. Volume 45, Emphasizing parallel programming techniques

2026-05-01T00:37:16Z

by Zelkowitz, Marvin V., 1945-
ScienceDirect http://www.sciencedirect.com/science/book/9780120121458 ScienceDirect http://www.sciencedirect.com/science/bookseries/00652458/45
Format: Electronic Resources

Operating systems

2026-05-01T00:37:16Z

by Tsichritzis, Dionysios C.
ScienceDirect https://www.sciencedirect.com/science/book/9780127017501
Format: Electronic Resources

Neural networks and pattern recognition

2026-05-01T00:37:16Z

by Omidvar, Omid.
ScienceDirect https://www.sciencedirect.com/science/book/9780125264204
Format: Electronic Resources