Petri Nets and Other Models of Concurrency - ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding /
PSZJBL
Main Authors: | International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (28th : 2007 : Siedlce, Poland), Kleijn, Jetty, Yakovlev, Alex, Yakovlev, Alex. |
---|---|
Format: | |
Language: | eng |
Published: |
Berlin Heidelberg : Springer-Verlag GmbH.,
2007
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-3-540-73094-1 |
Similar Items
-
Transactions on petri nets and other models of concurrency I /
by: 437192 Jensen, Kurt, et al.
Published: (2009) -
Analysis of asynchronous concurrent systems by timed petri nets.
by: Ramchandani, Chander
Published: (2005) -
Analysis of Asynchronous Concurrent Systems by Timed Petri Nets
by: Ramchandani, Chander
Published: (2023) -
Compositional model checking of concurrent systems, with Petri nets
by: Paweł Sobociński
Published: (2016-03-01) -
Supervisory control of concurrent systems : a Petri net structural approach /
by: 272536 Iordache, Marian Valentin, et al.
Published: (2006)