• Suche: Implementing Petri Net Transformations using Graph Transformation Tools

Treffer 1 - 20 von 4.670

1

Implementing Petri Net Transformations using Graph Transformation Tools
Enrico Biermann ; Claudia Ermel ; Tony Modica ; et al.
http://journal.ub.tu-berlin.de/eceasst/article/viewFile/189/180/.

Petri nets net transformation graph transformation visual editor re- configurable
Fachzeitschrift
Merkliste
2

On formal modeling, analysis and optimization of reconfigurable manufacturing systems.
Houimli, Manel ; Kahloul, Laid ; Khalgui, Mohamed
International Journal of Computer Integrated Manufacturing. Aug2025, Vol. 38 Issue 8, p1021-1051. 31p.

Fachzeitschrift
Merkliste
3

Implementing Petri Net Transformations using Graph Transformation Tools
Enrico Biermann ; Claudia Ermel ; Tony Modica ; et al.
http://www.user.tu-berlin.de/o.runge/tfs/projekte/roneditor/files/PN2AGGTrafo_PNGT08.pdf.

Petri nets net transformation graph transformation visual editor re- configurable
Fachzeitschrift
Merkliste
4

Whole-grain Petri Nets and Processes.
KOCK, JOACHIM
Journal of the ACM. Feb2023, Vol. 70 Issue 1, p1-58. 58p.

Fachzeitschrift
Merkliste
5

Implementing Petri Net Transformations using Graph Transformation Tools
Biermann, Enrico ; Ermel, Claudia ; Modica, Tony ; et al.
Electronic Communications of the EASST; Volume 14: Petri Nets and Graph Transformations 2008 ; 1863-2122 ; 10.14279/tuj.eceasst.14

Fachzeitschrift
Merkliste
6

Implementing Petri Net Transformations using Graph Transformation Tools
Biermann, Enrico ; Ermel, Claudia ; Modica, Tony ; et al.

Merkliste
7

Event Log Privacy Based on Differential Petri Nets.
Kan, Daoyu ; Fang, Xianwen ; Gong, Ziyou
Applied Artificial Intelligence. 2023, Vol. 37 Issue 1, p1-26. 26p.

Fachzeitschrift
Merkliste
8

Textual data transformations using natural language processing for risk assessment.
Kamil, Mohammad Zaid ; Taleb‐Berrouane, Mohammed ; Khan, Faisal ; et al.
Risk Analysis: An International Journal. Oct2023, Vol. 43 Issue 10, p2033-2052. 20p. 1 Color Photograph, 11 Diagrams, 10 Charts, 1 Graph.

Fachzeitschrift
Merkliste
9

BPMN-based business process model feasibility analysis: a petri net approach.
Ou-Yang, C. ; Lin, Y. D.
International Journal of Production Research. Jul2008, Vol. 46 Issue 14, p3763-3781. 19p. 6 Diagrams, 3 Charts.

Fachzeitschrift
Merkliste
10

THE USE OF SPARQL LANGUAGE IN ONTOLOGICAL MODELING OF MULTI-AGENT SYSTEMS IN SEMANTIC WEB
V. N. Dubinin ; A. V. Dubinin ; C.-W. Yang ; et al.
Известия высших учебных заведений. Поволжский регион:Технические науки, Iss 1 (2020)

ontology modeling multi-agent systems semantic web graph transformation rdf …
Fachzeitschrift
Merkliste
11

A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems.
Yousefian, Rosa ; Aboutorabi, Shahryar ; Rafe, Vahid
Journal of Intelligent & Fuzzy Systems. 2016, Vol. 31 Issue 1, p137-149. 13p.

Fachzeitschrift
Merkliste
12

A Comparative Analysis of Service Composition Approaches for the Internet of Things.
Retima, Farida ; Benharzallah, Saber
Ingénierie des Systèmes d'Information. Jan2025, Vol. 30 Issue 1, p111-135. 25p.

Fachzeitschrift
Merkliste
13

A Petri-net and entity-relationship diagram based object-oriented design method for manufacturing systems control.
Chen, Kai-Ying ; Lu, Shui-Shong
International Journal of Computer Integrated Manufacturing. Jan1997, Vol. 10 Issue 1-4, p17-28. 12p.

Fachzeitschrift
Merkliste
14

Novel JavaScript malware detection based on fuzzy Petri nets.
Lin, Yi-Nan ; Wang, Sheng-Kuan ; Yang, Cheng-Ying ; et al.
Journal of Intelligent & Fuzzy Systems. 2020, Vol. 39 Issue 1, p249-261. 13p.

Fachzeitschrift
Merkliste
15

Dieses Ergebnis kann Gästen nicht angezeigt werden.

16

Transforming Dynamic Condition Response Graphs to Safe Petri Nets
Cosma, Vlad Paul ; Hildebrandt, Thomas T. ; Slaats, Tijs ; et al.
Cosma , V P , Hildebrandt , T T & Slaats , T 2023 , Transforming Dynamic Condition Response Graphs to Safe Petri Nets . in L Gomes & R Lorenz (eds) , Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Proceedings . Springer , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 13929 LNCS , pp. 417-439 , 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023 , Lisbon , Portugal , 25/06/2023 . ....

Bisimilarity DCR graphs Petri Nets
Fachzeitschrift
Merkliste
17

Coloured timed Petri net model for real-time control of automated guided vehicle systems.
Dotoli, M. ; Fanti, M. P.
International Journal of Production Research. 5/1/2004, Vol. 42 Issue 9, p1787-1814. 28p. 7 Diagrams, 2 Charts, 7 Graphs.

Fachzeitschrift
Merkliste
18

Modular Petri net modeling of healthcare systems.
Mahulea, Cristian ; Mahulea, Liliana ; García Soriano, Juan Manuel ; et al.
Flexible Services & Manufacturing Journal. Jun2018, Vol. 30 Issue 1/2, p329-357. 29p.

Fachzeitschrift
Merkliste
19

Formal foundation of consistent EMF model transformations by algebraic graph transformation.
Biermann, Enrico ; Ermel, Claudia ; Taentzer, Gabriele
Software & Systems Modeling; May2012, Vol. 11 Issue 2, p227-250, 24p

COMPUTER software develo... SOFTWARE engineering XML (Extensible Markup L... METADATA SYSTEMS theory
Fachzeitschrift
Merkliste
20

A knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controllers.
Zha, X. F. ; Li, L. L. ; Zhang, W. J.
International Journal of Computer Integrated Manufacturing. May2002, Vol. 15 Issue 3, p242-264. 23p. 12 Diagrams, 7 Charts.

Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter