×

Found 37 Documents (Results 1–37)

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

Reconfigurable Petri nets with transition priorities and inhibitor arcs. (English) Zbl 1321.68364

Parisi-Presicce, Francesco (ed.) et al., Graph transformation. 8th international conference, ICGT 2015, held as part of STAF 2015, L’Aquila, Italy, July 21–23, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21144-2/pbk; 978-3-319-21145-9/ebook). Lecture Notes in Computer Science 9151, 104-120 (2015).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Transformations in reconfigurable place/transition systems. (English) Zbl 1144.68043

Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 96-113 (2008).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Independence of net transformations and token firing in reconfigurable place/transition systems. (English) Zbl 1226.68052

Kleijn, Jetty (ed.) et al., Petri nets and other models of concurrency – ICATPN 2007. 28th international conference on applications and theory of Petri nets and other models of concurrency, ICATPN 2007, Siedlce, Poland, June 25–29, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73093-4/pbk). Lecture Notes in Computer Science 4546, 104-123 (2007).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the workshop on Petri nets and graph transformations (PNGT 2004), Rome, Italy, September 28 – October 2, 2004. (English) Zbl 1271.68033

Electronic Notes in Theoretical Computer Science 127, No. 2. Amsterdam: Elsevier. 120 p., electronic only (2005).
PDFBibTeX XMLCite
Full Text: Link

Loose semantics of Petri nets. (English) Zbl 1075.68059

Kreowski, Hans-Jörg (ed.) et al., Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-24936-2/pbk). Lecture Notes in Computer Science 3393, 370-384 (2005).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. (English) Zbl 1283.68257

Ehrig, Hartmut (ed.) et al., Petri net technology for communication-based systems. Advances in Petri nets. Berlin: Springer (ISBN 3-540-20538-1/pbk). Lecture Notes in Computer Science 2472, 1-21 (2003).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Rule invariants in graph transformation systems for analyzing safety-critical systems. (English) Zbl 1028.68032

Corradini, Andrea (ed.) et al., Graph transformation. 1st international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2505, 334-350 (2002).
MSC:  68N30 68Q85 68Q42
PDFBibTeX XMLCite
Full Text: Link

Visual design of software architecture and evolution based on graph transformation. (English) Zbl 1263.68109

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, 52-66 (2001).
MSC:  68Q60 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. (English) Zbl 1262.68012

Electronic Notes in Theoretical Computer Science 44, No. 4. Amsterdam: Elsevier. 189 p., electronic only (2001).
PDFBibTeX XMLCite
Full Text: Link

Classification of Petri nets using adjoint functors. (English) Zbl 1056.68106

Păun, Gheorghe (ed.) et al., Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992–2000. Singapore: World Scientific (ISBN 981-02-4473-8). 171-179 (2001).
MSC:  68Q85
PDFBibTeX XMLCite

Incremental development of safety properties in Petri net transformations. (English) Zbl 0958.68124

Ehrig, Hartmut (ed.) et al., Theory and application of graph transformations. 6th international workshop, TAGT ’98. Paderborn, Germany, November 16-20, 1998. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1764, 410-425 (2000).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite

Double-pullback graph transitions: A rule-based framework with incomplete information. (English) Zbl 0958.68123

Ehrig, Hartmut (ed.) et al., Theory and application of graph transformations. 6th international workshop, TAGT ’98. Paderborn, Germany, November 16-20, 1998. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1764, 85-102 (2000).
MSC:  68Q85
PDFBibTeX XMLCite

Horizontal and vertical structuring techniques for statecharts. (English) Zbl 1512.68166

Mazurkiewicz, Antoni (ed.) et al., CONCUR ’97: concurrency theory. 8th international conference. Warsaw, Poland. July 1–4, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1243, 181-195 (1997).
MSC:  68Q85 18C50
PDFBibTeX XMLCite
Full Text: DOI

Reverse Petri net technology transfer: On the boundary of theory and applications (extended abstract). (English) Zbl 0885.68114

Groves, Lindsay (ed.) et al., Formal methods Pacific ’97. Proceedings of FMP ’97, July 9–11, 1997, Wellington, New Zealand. Singapore: Springer. 297-298 (1997).
MSC:  68Q85
PDFBibTeX XMLCite

Abstract datatype semantics for algebraic high-level nets using dynamic abstract datatypes. (English) Zbl 0817.68106

Hommel, Günter (ed.), Quality of communication-based systems. Proceedings of an international workshop held at the TU Berlin, Germany, September 1994. Dordrecht: Kluwer Academic Publishers. 1-17 (1995).
MSC:  68Q65 68Q85 68Q55
PDFBibTeX XMLCite

Algebraic high level nets. Petri nets revisited. (English) Zbl 0941.68643

Ehrig, Hartmut (ed.) et al., Recent trends in data type specification. 9th Workshop on Specification of abstract data types joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 785, 188-206 (1994).
MSC:  68Q85
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software