×

Found 18 Documents (Results 1–18)

Modeling multi-valued genetic regulatory networks using high-level Petri nets. (English) Zbl 1128.68376

Ciardo, Gianfranco (ed.) et al., Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26301-2/pbk). Lecture Notes in Computer Science 3536, 208-227 (2005).
MSC:  68Q85 92B99
PDFBibTeX XMLCite
Full Text: DOI

Object-oriented modelling with high-level modular Petri nets. (English) Zbl 1196.68041

Boiten, Eerke A. (ed.) et al., Integrated formal methods. 4th international conference, IFM 2004, Canterbury, UK, April 4–7, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21377-5/pbk). Lecture Notes in Computer Science 2999, 287-306 (2004).
MSC:  68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Modeling and analysis of Margolus quantum cellular automata using net-theoretical methods. (English) Zbl 1094.68570

Cortadella, Jordi (ed.) et al., Applications and theory of Petri nets 2004. 25th international conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22236-7/pbk). Lecture Notes in Computer Science 3099, 331-350 (2004).
PDFBibTeX XMLCite
Full Text: DOI

LTL model checking for modular Petri nets. (English) Zbl 1094.68064

Cortadella, Jordi (ed.) et al., Applications and theory of Petri nets 2004. 25th international conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22236-7/pbk). Lecture Notes in Computer Science 3099, 298-311 (2004).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Petri nets with causal time for system verification. (English) Zbl 1270.68179

Vogler, Walter (ed.) et al., MTCS ’02. Proceedings of the 3rd international workshop on models for time-critical systems (CONCUR 2002 satellite workshop), Brno, Czech Republic, August 24, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 5, 85-100 (2003).
MSC:  68Q60 68Q85 68Q45
PDFBibTeX XMLCite
Full Text: Link

Model checking safety properties in modular high-level nets. (English) Zbl 1274.68245

van der Aalst, Wil (ed.) et al., Applications and theory of Petri nets 2003. 24th international conference, ICATPN 2003, Einhoven, The Netherlands, June 23–27, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40334-5/pbk). Lecture Notes in Computer Science 2679, 201-220 (2003).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

On the use of Petri nets for the computation of completion time distribution for short TCP transfers. (English) Zbl 1274.68232

van der Aalst, Wil (ed.) et al., Applications and theory of Petri nets 2003. 24th international conference, ICATPN 2003, Einhoven, The Netherlands, June 23–27, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40334-5/pbk). Lecture Notes in Computer Science 2679, 181-200 (2003).
PDFBibTeX XMLCite
Full Text: DOI

Maria: Modular reachability analyser for algebraic system nets. (English) Zbl 1047.68554

Esparza, Javier (ed.) et al., Application and theory of Petri nets 2002. 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24–30, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43787-8). Lect. Notes Comput. Sci. 2360, 434-444 (2002).
MSC:  68N99 68Q85
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software