Loading…
Petri nets for systems engineering : a guide to modeling, verification, and applications /
Main Author: | Girault, Claude |
---|---|
Other Authors: | Valk, Rüdiger |
Format: | Book |
Language: | English |
Published: |
New York ; London :
Springer,
2003.
|
Subjects: | |
Online Access: | View in OPAC |
Similar Items
-
Advances in verification of time petri nets and timed automata : a temporal logic approach /
by: Penczek, Wojciech
Published: (2006) -
Modelling and analysis of hybrid supervisory systems : a petri net approach /
by: Villani, Emilia
Published: (2007) -
Sistem dinamiğine giriş /
by: Shearer, Jesse Lowen
Published: (1984) -
Sadeliğin yasaları /
by: Maeda, John
Published: (2017) -
Sistem ve Network Mühendisliği/
by: Kırbaş, Kayhan