×

Found 20 Documents (Results 1–20)

Model checking reconfigurable Petri nets with Maude. (English) Zbl 1344.68141

Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 54-70 (2016).
MSC:  68Q60 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

A distributed computing model for dataflow, controlflow, and workflow in fractionated cyber-physical systems. (English) Zbl 1323.68280

Calude, Cristian S. (ed.) et al., Computing with new resources. Essays dedicated to Jozef Gruska on the occasion of his 80th birthday. Cham: Springer (ISBN 978-3-319-13349-2/pbk; 978-3-319-13350-8/ebook). Lecture Notes in Computer Science 8808, 379-393 (2014).
MSC:  68Q05 68Q10 68U20
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic real-time rewrite theories and their expressive power. (English) Zbl 1348.68080

Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 60-79 (2011).
MSC:  68Q42 68Q87
PDFBibTeX XMLCite
Full Text: DOI Link

Component-based security policy design with colored Petri nets. (English) Zbl 1253.68242

Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 21-42 (2009).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Expander2: program verification between interaction and automation. (English) Zbl 1279.68293

López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 35-57 (2007).
MSC:  68T15 03B70 68N30 68Q65 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Coding mobile synchronizing Petri nets into rewriting logic. (English) Zbl 1277.68145

Fernández, M. (ed.) et al., Proceedings of the 7th international workshop on rule based programming (RULE 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 1, 83-98 (2007).
MSC:  68Q60 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Tiling transactions in rewriting logic. (English) Zbl 1272.68291

Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 90-109 (2004).
MSC:  68Q85 68Q42 03B70
PDFBibTeX XMLCite
Full Text: Link

Representation and execution of Petri nets using rewriting logic as a unifying framework. (English) Zbl 1263.68094

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 140-162 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software