Cargando…

Application and theory of petri nets and concurrency: 37th international conference, Petri Nets 2016, Toruń, Poland, June 19-24, 2016 proceedings

Detalles Bibliográficos
Autores principales:	Kordon, Fabrice, Moldt, Daniel
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756848

Ejemplares similares

Application and theory of petri nets and concurrency: 40th international conference, Petri Nets 2019, Aachen, Germany, June 23-28, 2019, proceedings
por: Donatelli, Susanna, et al.
Publicado: (2019)

43rd International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2022)
por: Bernardinello,, et al.
Publicado: (2022)

Coloured Petri nets
por: Jensen, Kurt
Publicado: (1992)

Coloured Petri nets
por: Jensen, Kurt, et al.
Publicado: (1995)

Coloured Petri nets
por: Jensen, K
Publicado: (1997)

Biological Petri Nets
por: Wingender, E
Publicado: (2011)

Coloured Petri nets
por: Jensen, Kurt
Publicado: (1996)

Supervision of petri nets
por: Stremersch, Geert, et al.
Publicado: (2001)

A Web Interface for Petri Nets with Transits and Petri Games
por: Gieseking, Manuel, et al.
Publicado: (2021)

Transactions on petri nets and other models of concurrency VI
por: Jensen, Kurt, et al.
Publicado: (2012)

Transactions on petri nets and other models of concurrency X
por: Koutny, Maciej, et al.
Publicado: (2015)

Transactions on petri nets and other models of concurrency XIII
por: Koutny, Maciej, et al.
Publicado: (2018)

Transactions on petri nets and other models of concurrency IX
por: Koutny, Maciej, et al.
Publicado: (2014)

Transactions on petri nets and other models of concurrency XII
por: Koutny, Maciej, et al.
Publicado: (2017)

Transactions on petri nets and other models of concurrency XI
por: Koutny, Maciej, et al.
Publicado: (2016)

Free choice Petri nets
por: Desel, Jörg, et al.
Publicado: (2005)

Dynamic Recursive Petri Nets
por: Haddad, Serge, et al.
Publicado: (2020)

From Petri Plates to Petri Nets, a revolution in yeast biology
por: Oliver, Stephen G
Publicado: (2022)

Discrete, continuous, and hybrid petri nets
por: David, René, et al.
Publicado: (2004)

Discrete, Continuous, and Hybrid Petri Nets
por: David, Rene, et al.
Publicado: (2010)

Application of Petri Nets in Bone Remodeling
por: Li, Lingxi, et al.
Publicado: (2009)

Petri net theory and the modeling of systems
por: Peterson, James Lyle
Publicado: (1981)

Timed petri nets: theory and application
por: Ho, Yu-Chi, et al.
Publicado: (1998)

Applications and theory of petri nets 2003: 24th international conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, proceedings
por: Aalst, Wil van der, et al.
Publicado: (2003)

Application and theory of petri nets 2002: 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 proceedings
por: Esparza, Javier, et al.
Publicado: (2002)

10th International Conference on Applications and Theory of Petri Nets
por: Rozenberg, Grzegorz
Publicado: (1991)

The Equivalency between Logic Petri Workflow Nets and Workflow Nets
por: Wang, Jing, et al.
Publicado: (2015)

Stochastic Petri nets: modelling, stability, simulation
por: Haas, Peter J
Publicado: (2002)

Nonsequential processes: a Petri net view
por: Best, Eike, et al.
Publicado: (1988)

KReach: A Tool for Reachability in Petri Nets
por: Dixon, Alex, et al.
Publicado: (2020)

A Categorical Semantics for Guarded Petri Nets
por: Genovese, Fabrizio, et al.
Publicado: (2020)

A CTL* Model Checker for Petri Nets
por: Amparore, Elvio Gilberto, et al.
Publicado: (2020)

Extended Hierarchical Fuzzy Interpreted Petri Net
por: Markiewicz, Michał, et al.
Publicado: (2021)

Performance Optimization for a Class of Petri Nets
por: Shi, Weijie, et al.
Publicado: (2023)

Process algebras for petri nets: the alphabetization of distributed systems
por: Gorrieri, Roberto
Publicado: (2017)

Intelligent task planning using fuzzy petri nets
por: Cao, Tiehua, et al.
Publicado: (1996)

Yeast pheromone pathway modeling using Petri nets
por: Majumdar, Abhishek, et al.
Publicado: (2014)

Encoding Reversing Petri Nets in Answer Set Programming
por: Dimopoulos, Yannis, et al.
Publicado: (2020)

Robust modelling and simulation: integration of SIMIO with coloured petri nets
por: De La Mota, Idalia Flores, et al.
Publicado: (2017)

Modularization of biochemical networks based on classification of Petri net t-invariants
por: Grafahrend-Belau, Eva, et al.
Publicado: (2008)

Cannot write session to /tmp/vufind_sessions/sess_0kpuqb961mqi1l4cvrehgav688