diff --git a/TaskAndTimeTimJahn.txt b/TaskAndTimeTimJahn.txt
index 022d747a12dfd98fde0fbf7d8d30e8a982b25c9e..d17330e324c84e388511c7f25d72b1c9ddcea95e 100644
--- a/TaskAndTimeTimJahn.txt
+++ b/TaskAndTimeTimJahn.txt
@@ -43,6 +43,7 @@ hours:
24.11.24 4h
30.11.24 8h
01.12.24 8h
+08.12.24 8h
//------------------------------------------------------------------------------------------------------
see https://github.com/eclipse-theia/theia/blob/master/doc/Developing.md#prerequisite_native_keymap
@@ -95,29 +96,251 @@ some unclear aspects regarding the issues:
#1 no bug fix; add mask?
- new pnml is empty file - misses model; add defaut model via handler
-
+ - see
+ https://eclipse.dev/glsp/documentation/protocol/#24-model-data
+ https://eclipse.dev/glsp/documentation/sourcemodel
+
#2 tasklist file names?
- petri_net editor
+ - rename everything
#3 one page includes all others elements?
- one page includes all
+ - modify CreateServerPageHandler.java
#4 node page - maybe example
- beispiel - last link
https://git-st.inf.tu-dresden.de/dineros/framework/journal-paper-evaluation/-/blob/main/full/model-v5/sorting-wf-synced-safe-sensor-grpn-sig.pnml?ref_type=heads
- add extra option for node page with additional metadata
+ - see for menu adaption
+ https://eclipse.dev/glsp/documentation/ui-extensions/
#5 "all elements like channels" - only channels
- input only for transitions, markings only for places
+ - see
+ https://eclipse.dev/glsp/documentation/ui-extensions/
#6 some details pls
- elements are in the model but not in the exported pnml
+ - see
+ https://eclipse.dev/glsp/documentation/sourcemodel
+ https://eclipse.dev/glsp/documentation/protocol/#25-model-saving => point 2.5.3
#7
+ - possibly same issue categry as #1 => see RequestModelAction
+ - see
+ https://eclipse.dev/glsp/documentation/protocol/#1-server-client-lifecycle
+ https://eclipse.dev/glsp/documentation/protocol/#24-model-data
prio 1,3,4,6
push to devel, merge with sebastioan as assignee in gitlab website
30.11.24 8h
-01.12.24 8h
\ No newline at end of file
+01.12.24 8h
+08.12.24 8h
+
+issue #1
+- recreated error by creating new file test.pnml in editor:
+
+$ yarn start
+yarn run v1.22.22
+$ yarn rebuild:browser && yarn --cwd tasklist-browser-app start
+$ theia rebuild:browser
+native node modules are already rebuilt for browser
+$ theia start --TASKLIST_GLSP=5007 --root-dir=../workspace
+Configuration directory URI: 'file:///home/mite/.theia'
+2024-12-08T15:30:51.938Z root INFO Backend Object.initialize: 20.0 ms [Finished 0.941 s after backend start]
+2024-12-08T15:30:51.938Z root INFO Backend Object.configure: 18.2 ms [Finished 0.942 s after backend start]
+2024-12-08T15:30:51.939Z root INFO Backend MessagingContribution.onStart: 3.2 ms [Finished 0.942 s after backend start]
+2024-12-08T15:30:51.939Z root INFO Backend NodeFileUploadService.configure: 2.0 ms [Finished 0.983 s after backend start]
+2024-12-08T15:30:51.939Z root INFO Backend LocalizationServerImpl.initialize: 41.0 ms [Finished 0.983 s after backend start]
+2024-12-08T15:30:51.939Z root INFO Backend FileDownloadEndpoint.configure: 2.7 ms [Finished 0.985 s after backend start]
+2024-12-08T15:30:51.942Z root INFO Theia app listening on http://127.0.0.1:3000.
+2024-12-08T15:30:51.953Z root INFO Backend DefaultWorkspaceServer.onStart: 19.0 ms [Finished 1.000 s after backend start]
+2024-12-08T15:30:51.954Z root INFO Finished starting backend application: 0.1 ms [Finished 1.000 s after backend start]
+2024-12-08T15:30:53.993Z root ERROR TaskList: WARNING: Runtime environment or build system does not support multi-release JARs. This will impact location-based features.
+2024-12-08T15:35:47.398Z root WARN Frontend CommonFrontendContribution.configure took longer than the expected maximum 100 milliseconds: 121.0 ms [Finished 5.112 s after frontend start]
+2024-12-08T15:35:47.417Z root WARN A command editor.action.toggleStickyScroll is already registered.
+2024-12-08T15:35:47.628Z root INFO Start frontend contributions: 382.0 ms [Finished 5.298 s after frontend start]
+2024-12-08T15:35:47.629Z root INFO Changed application state from 'init' to 'started_contributions'.
+2024-12-08T15:35:47.629Z root INFO Changed application state from 'started_contributions' to 'attached_shell'.
+2024-12-08T15:35:47.629Z root INFO >>> Restoring the layout state...
+2024-12-08T15:35:50.780Z root WARN Linked preference "workbench.colorCustomizations" not found.
+2024-12-08T15:35:50.780Z root WARN Linked preference "window.titleBarStyle" not found.
+2024-12-08T15:35:50.784Z root ERROR DefaultJsonSchemaContribution.registerSchemas is taking more than 500.0 ms, new schemas are ignored.
+2024-12-08T15:35:51.028Z root INFO Factory for model element 'edge' will be overwritten.
+2024-12-08T15:35:51.028Z root INFO Factory for model element 'comp:header' will be overwritten.
+2024-12-08T15:35:51.028Z root INFO Factory for model element 'label' will be overwritten.
+2024-12-08T15:35:51.029Z root INFO Factory for model element 'graph' will be overwritten.
+2024-12-08T15:35:51.029Z root INFO Factory for model element 'edge' will be overwritten.
+2024-12-08T15:35:51.029Z root INFO Factory for model element 'comp:header' will be overwritten.
+2024-12-08T15:35:51.029Z root INFO Factory for model element 'label' will be overwritten.
+2024-12-08T15:35:51.029Z root INFO Factory for model element 'graph' will be overwritten.
+2024-12-08T15:35:51.188Z root INFO <<< The layout has been successfully restored.
+2024-12-08T15:35:51.189Z root INFO View instance for type 'edge' will be overwritten.
+2024-12-08T15:35:51.189Z root INFO View instance for type 'comp:header' will be overwritten.
+2024-12-08T15:35:51.189Z root INFO View instance for type 'label' will be overwritten.
+2024-12-08T15:35:51.189Z root INFO View instance for type 'graph' will be overwritten.
+2024-12-08T15:35:51.189Z root INFO View instance for type 'edge' will be overwritten.
+2024-12-08T15:35:51.189Z root INFO View instance for type 'comp:header' will be overwritten.
+2024-12-08T15:35:51.189Z root INFO View instance for type 'label' will be overwritten.
+2024-12-08T15:35:51.189Z root INFO View instance for type 'graph' will be overwritten.
+2024-12-08T15:35:51.189Z root INFO Initialize the workbench layout: 3503.0 ms [Finished 8.865 s after frontend start]
+2024-12-08T15:35:51.189Z root INFO Changed application state from 'attached_shell' to 'initialized_layout'.
+2024-12-08T15:35:52.074Z root INFO Frontend application start: 4742.8 ms [Finished 301.121 s after backend start]
+2024-12-08T15:35:52.075Z root INFO Replace loading indicator with ready workbench UI (animation): 921.0 ms [Finished 9.790 s after frontend start]
+2024-12-08T15:35:52.076Z root INFO Changed application state from 'initialized_layout' to 'ready'.
+2024-12-08T15:36:03.489Z root INFO Factory for model element 'edge' will be overwritten.
+2024-12-08T15:36:03.489Z root INFO Factory for model element 'comp:header' will be overwritten.
+2024-12-08T15:36:03.489Z root INFO Factory for model element 'label' will be overwritten.
+2024-12-08T15:36:03.489Z root INFO Factory for model element 'graph' will be overwritten.
+2024-12-08T15:36:03.489Z root INFO View instance for type 'edge' will be overwritten.
+2024-12-08T15:36:03.490Z root INFO View instance for type 'comp:header' will be overwritten.
+2024-12-08T15:36:03.490Z root INFO View instance for type 'label' will be overwritten.
+2024-12-08T15:36:03.490Z root INFO View instance for type 'graph' will be overwritten.
+2024-12-08T15:36:12.191Z root WARN A command editor.action.toggleStickyScroll is already registered.
+2024-12-08T15:36:12.339Z root INFO Start frontend contributions: 218.0 ms [Finished 3.107 s after frontend start]
+2024-12-08T15:36:12.339Z root INFO Changed application state from 'init' to 'started_contributions'.
+2024-12-08T15:36:12.739Z root WARN Linked preference "workbench.colorCustomizations" not found.
+2024-12-08T15:36:12.739Z root WARN Linked preference "window.titleBarStyle" not found.
+2024-12-08T15:36:13.382Z root ERROR TaskList: Dec 08, 2024 4:36:13 PM org.eclipse.lsp4j.jsonrpc.RemoteEndpoint fallbackResponseError
+2024-12-08T15:36:13.383Z root ERROR TaskList: SEVERE: Internal error: org.eclipse.lsp4j.jsonrpc.JsonRpcException: java.io.IOException: java.io.IOException: Broken pipe
+2024-12-08T15:36:13.383Z root ERROR TaskList: java.util.concurrent.CompletionException: org.eclipse.lsp4j.jsonrpc.JsonRpcException: java.io.IOException: java.io.IOException: Broken pipe
+2024-12-08T15:36:13.383Z root ERROR TaskList: at java.base/java.util.concurrent.CompletableFuture.encodeThrowable(CompletableFuture.java:315)
+2024-12-08T15:36:13.383Z root ERROR TaskList: at java.base/java.util.concurrent.CompletableFuture.uniAcceptNow(CompletableFuture.java:761)
+2024-12-08T15:36:13.383Z root ERROR TaskList: at java.base/java.util.concurrent.CompletableFuture.uniAcceptStage(CompletableFuture.java:735)
+2024-12-08T15:36:13.383Z root ERROR TaskList: at java.base/java.util.concurrent.CompletableFuture.thenAccept(CompletableFuture.java:2214)
+2024-12-08T15:36:13.383Z root ERROR TaskList: at org.eclipse.lsp4j.jsonrpc.RemoteEndpoint.handleRequest(RemoteEndpoint.java:288)
+2024-12-08T15:36:13.384Z root ERROR TaskList: at org.eclipse.lsp4j.jsonrpc.RemoteEndpoint.consume(RemoteEndpoint.java:201)
+2024-12-08T15:36:13.384Z root ERROR TaskList: at org.eclipse.lsp4j.jsonrpc.json.StreamMessageProducer.handleMessage(StreamMessageProducer.java:185)
+2024-12-08T15:36:13.384Z root ERROR TaskList: at org.eclipse.lsp4j.jsonrpc.json.StreamMessageProducer.listen(StreamMessageProducer.java:97)
+2024-12-08T15:36:13.384Z root ERROR TaskList: at org.eclipse.lsp4j.jsonrpc.json.ConcurrentMessageProcessor.run(ConcurrentMessageProcessor.java:114)
+2024-12-08T15:36:13.384Z root ERROR TaskList: at java.base/java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:572)
+2024-12-08T15:36:13.384Z root ERROR TaskList: at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:317)
+2024-12-08T15:36:13.384Z root ERROR TaskList: at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1144)
+2024-12-08T15:36:13.385Z root ERROR TaskList: at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:642)
+2024-12-08T15:36:13.385Z root ERROR TaskList: at java.base/java.lang.Thread.run(Thread.java:1583)
+2024-12-08T15:36:13.385Z root ERROR TaskList: Caused by: org.eclipse.lsp4j.jsonrpc.JsonRpcException: java.io.IOException: java.io.IOException: Broken pipe
+2024-12-08T15:36:13.385Z root ERROR TaskList: at org.eclipse.lsp4j.jsonrpc.json.StreamMessageConsumer.consume(StreamMessageConsumer.java:72)
+2024-12-08T15:36:13.385Z root ERROR TaskList: at org.eclipse.lsp4j.jsonrpc.RemoteEndpoint.lambda$handleRequest$1(RemoteEndpoint.java:290)
+2024-12-08T15:36:13.385Z root ERROR TaskList: at java.base/java.util.concurrent.CompletableFuture.uniAcceptNow(CompletableFuture.java:757)
+2024-12-08T15:36:13.386Z root ERROR TaskList: ... 12 more
+2024-12-08T15:36:13.386Z root ERROR TaskList: Caused by: java.io.IOException: java.io.IOException: Broken pipe
+2024-12-08T15:36:13.386Z root ERROR TaskList: at java.base/java.nio.channels.Channels$2.write(Channels.java:238)
+2024-12-08T15:36:13.386Z root ERROR TaskList: at java.base/java.io.OutputStream.write(OutputStream.java:124)
+2024-12-08T15:36:13.386Z root ERROR TaskList: at org.eclipse.lsp4j.jsonrpc.json.StreamMessageConsumer.consume(StreamMessageConsumer.java:68)
+2024-12-08T15:36:13.386Z root ERROR TaskList: ... 14 more
+2024-12-08T15:36:13.386Z root ERROR TaskList: Caused by: java.io.IOException: Broken pipe
+2024-12-08T15:36:13.386Z root ERROR TaskList: at java.base/sun.nio.ch.SocketDispatcher.write0(Native Method)
+2024-12-08T15:36:13.386Z root ERROR TaskList: at java.base/sun.nio.ch.SocketDispatcher.write(SocketDispatcher.java:62)
+2024-12-08T15:36:13.387Z root ERROR TaskList: at java.base/sun.nio.ch.IOUtil.writeFromNativeBuffer(IOUtil.java:137)
+2024-12-08T15:36:13.387Z root ERROR TaskList: at java.base/sun.nio.ch.IOUtil.write(IOUtil.java:102)
+2024-12-08T15:36:13.387Z root ERROR TaskList: at java.base/sun.nio.ch.IOUtil.write(IOUtil.java:65)
+2024-12-08T15:36:13.387Z root ERROR TaskList: at java.base/sun.nio.ch.UnixAsynchronousSocketChannelImpl.implWrite(UnixAsynchronousSocketChannelImpl.java:713)
+2024-12-08T15:36:13.387Z root ERROR TaskList: at java.base/sun.nio.ch.AsynchronousSocketChannelImpl.write(AsynchronousSocketChannelImpl.java:382)
+2024-12-08T15:36:13.387Z root ERROR TaskList: at java.base/sun.nio.ch.AsynchronousSocketChannelImpl.write(AsynchronousSocketChannelImpl.java:387)
+2024-12-08T15:36:13.387Z root ERROR TaskList: at java.base/java.nio.channels.Channels$2.write(Channels.java:236)
+2024-12-08T15:36:13.387Z root ERROR TaskList: ... 16 more
+2024-12-08T15:36:13.387Z root ERROR TaskList:
+
+editor message:
+
+Model loading in progress
+NewPage04NewPlace12NewPlace63NewPlace11NewTransition3NewTransition8Red and Blue111
+2
+[GLSP-Server] Could not process message:ActionMessage [action=requestModel, clientId=tasklist-diagram_4]
+
+org.xml.sax.SAXParseExceptionpublicId: file:/mnt/c/Users/tim65/SHK-Projects/dineros/pnml-petri-net-editor/glsp-client/workspace/test2.pnml; systemId: file:/mnt/c/Users/tim65/SHK-Projects/dineros/pnml-petri-net-editor/glsp-client/workspace/test2.pnml; lineNumber: 1; columnNumber: 1; Premature end of file.
+org.eclipse.emf.ecore.resource.impl.ResourceSetImpl$1DiagnosticWrappedException: org.xml.sax.SAXParseExceptionpublicId: file:/mnt/c/Users/tim65/SHK-Projects/dineros/pnml-petri-net-editor/glsp-client/workspace/test2.pnml; systemId: file:/mnt/c/Users/tim65/SHK-Projects/dineros/pnml-petri-net-editor/glsp-client/workspace/test2.pnml; lineNumber: 1; columnNumber: 1; Premature end of file.
+ at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.handleDemandLoadException(ResourceSetImpl.java:319)
+ at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.demandLoadHelper(ResourceSetImpl.java:278)
+ at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.getResource(ResourceSetImpl.java:406)
+ at org.eclipse.glsp.server.emf.EMFSourceModelStorage.loadResource(EMFSourceModelStorage.java:90)
+ at org.eclipse.glsp.server.emf.EMFSourceModelStorage.loadResource(EMFSourceModelStorage.java:85)
+ at org.eclipse.glsp.server.emf.notation.EMFNotationSourceModelStorage.loadSemanticModel(EMFNotationSourceModelStorage.java:57)
+ at org.eclipse.glsp.example.javaemf.model.TaskListSourceModelStorage.doLoadSourceModel(TaskListSourceModelStorage.java:42)
+ at org.eclipse.glsp.server.emf.EMFSourceModelStorage.loadSourceModel(EMFSourceModelStorage.java:60)
+ at org.eclipse.glsp.server.features.core.model.RequestModelActionHandler.executeAction(RequestModelActionHandler.java:75)
+ at org.eclipse.glsp.server.features.core.model.RequestModelActionHandler.executeAction(RequestModelActionHandler.java:45)
+ at org.eclipse.glsp.server.actions.AbstractActionHandler.execute(AbstractActionHandler.java:53)
+ at org.eclipse.glsp.server.internal.actions.DefaultActionDispatcher.runAction(DefaultActionDispatcher.java:198)
+ at org.eclipse.glsp.server.internal.actions.DefaultActionDispatcher.handleAction(DefaultActionDispatcher.java:176)
+ at org.eclipse.glsp.example.javaemf.handler.MyActionDispatcher.handleAction(MyActionDispatcher.java:24)
+ at org.eclipse.glsp.server.internal.actions.DefaultActionDispatcher.handleNextAction(DefaultActionDispatcher.java:163)
+ at org.eclipse.glsp.server.internal.actions.DefaultActionDispatcher.runThread(DefaultActionDispatcher.java:149)
+ at java.base/java.lang.Thread.run(Thread.java:1583)
+Caused by: org.xml.sax.SAXParseExceptionpublicId: file:/mnt/c/Users/tim65/SHK-Projects/dineros/pnml-petri-net-editor/glsp-client/workspace/test2.pnml; systemId: file:/mnt/c/Users/tim65/SHK-Projects/dineros/pnml-petri-net-editor/glsp-client/workspace/test2.pnml; lineNumber: 1; columnNumber: 1; Premature end of file.
+ at java.xml/com.sun.org.apache.xerces.internal.util.ErrorHandlerWrapper.createSAXParseException(ErrorHandlerWrapper.java:204)
+ at java.xml/com.sun.org.apache.xerces.internal.util.ErrorHandlerWrapper.fatalError(ErrorHandlerWrapper.java:178)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLErrorReporter.reportError(XMLErrorReporter.java:400)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLErrorReporter.reportError(XMLErrorReporter.java:327)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLScanner.reportFatalError(XMLScanner.java:1465)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl$PrologDriver.next(XMLDocumentScannerImpl.java:1013)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(XMLDocumentScannerImpl.java:605)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(XMLDocumentFragmentScannerImpl.java:542)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:889)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:825)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(XMLParser.java:141)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(AbstractSAXParser.java:1224)
+ at java.xml/com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(SAXParserImpl.java:637)
+ at java.xml/com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl.parse(SAXParserImpl.java:326)
+ at org.eclipse.emf.ecore.xmi.impl.XMLLoadImpl.load(XMLLoadImpl.java:175)
+ at org.eclipse.emf.ecore.xmi.impl.XMLResourceImpl.doLoad(XMLResourceImpl.java:261)
+ at org.eclipse.emf.ecore.resource.impl.ResourceImpl.load(ResourceImpl.java:1563)
+ at org.eclipse.emf.ecore.resource.impl.ResourceImpl.load(ResourceImpl.java:1342)
+ at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.demandLoad(ResourceSetImpl.java:259)
+ at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.demandLoadHelper(ResourceSetImpl.java:274)
+ ... 15 more
+
+
+
+
+Model loading in progress
+global
+NewPage0ServiceYChannel1requestresponserequestresponseTopicXpublisher10subscriber10NodePageA2Pa10Pa20Pa30Pa4Ta1Red AND BlueTa2Blue1111NodePageC0Pc10Pc2ServerF0Pf10Pf30Pf2Tf1Tf21111NodePageB0Pb10Pb2Tb111NodePageD0Pd10
+Pd2
+[GLSP-Server] Could not process message:ActionMessage [action=requestModel, clientId=tasklist-diagram_8]
+
+org.xml.sax.SAXParseExceptionpublicId: file:/mnt/c/Users/tim65/SHK-Projects/dineros/pnml-petri-net-editor/glsp-client/workspace/test.pnml; systemId: file:/mnt/c/Users/tim65/SHK-Projects/dineros/pnml-petri-net-editor/glsp-client/workspace/test.pnml; lineNumber: 1; columnNumber: 1; Premature end of file.
+org.eclipse.emf.ecore.resource.impl.ResourceSetImpl$1DiagnosticWrappedException: org.xml.sax.SAXParseExceptionpublicId: file:/mnt/c/Users/tim65/SHK-Projects/dineros/pnml-petri-net-editor/glsp-client/workspace/test.pnml; systemId: file:/mnt/c/Users/tim65/SHK-Projects/dineros/pnml-petri-net-editor/glsp-client/workspace/test.pnml; lineNumber: 1; columnNumber: 1; Premature end of file.
+ at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.handleDemandLoadException(ResourceSetImpl.java:319)
+ at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.demandLoadHelper(ResourceSetImpl.java:278)
+ at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.getResource(ResourceSetImpl.java:406)
+ at org.eclipse.glsp.server.emf.EMFSourceModelStorage.loadResource(EMFSourceModelStorage.java:90)
+ at org.eclipse.glsp.server.emf.EMFSourceModelStorage.loadResource(EMFSourceModelStorage.java:85)
+ at org.eclipse.glsp.server.emf.notation.EMFNotationSourceModelStorage.loadSemanticModel(EMFNotationSourceModelStorage.java:57)
+ at org.eclipse.glsp.example.javaemf.model.TaskListSourceModelStorage.doLoadSourceModel(TaskListSourceModelStorage.java:42)
+ at org.eclipse.glsp.server.emf.EMFSourceModelStorage.loadSourceModel(EMFSourceModelStorage.java:60)
+ at org.eclipse.glsp.server.features.core.model.RequestModelActionHandler.executeAction(RequestModelActionHandler.java:75)
+ at org.eclipse.glsp.server.features.core.model.RequestModelActionHandler.executeAction(RequestModelActionHandler.java:45)
+ at org.eclipse.glsp.server.actions.AbstractActionHandler.execute(AbstractActionHandler.java:53)
+ at org.eclipse.glsp.server.internal.actions.DefaultActionDispatcher.runAction(DefaultActionDispatcher.java:198)
+ at org.eclipse.glsp.server.internal.actions.DefaultActionDispatcher.handleAction(DefaultActionDispatcher.java:176)
+ at org.eclipse.glsp.example.javaemf.handler.MyActionDispatcher.handleAction(MyActionDispatcher.java:24)
+ at org.eclipse.glsp.server.internal.actions.DefaultActionDispatcher.handleNextAction(DefaultActionDispatcher.java:163)
+ at org.eclipse.glsp.server.internal.actions.DefaultActionDispatcher.runThread(DefaultActionDispatcher.java:149)
+ at java.base/java.lang.Thread.run(Thread.java:1583)
+Caused by: org.xml.sax.SAXParseExceptionpublicId: file:/mnt/c/Users/tim65/SHK-Projects/dineros/pnml-petri-net-editor/glsp-client/workspace/test.pnml; systemId: file:/mnt/c/Users/tim65/SHK-Projects/dineros/pnml-petri-net-editor/glsp-client/workspace/test.pnml; lineNumber: 1; columnNumber: 1; Premature end of file.
+ at java.xml/com.sun.org.apache.xerces.internal.util.ErrorHandlerWrapper.createSAXParseException(ErrorHandlerWrapper.java:204)
+ at java.xml/com.sun.org.apache.xerces.internal.util.ErrorHandlerWrapper.fatalError(ErrorHandlerWrapper.java:178)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLErrorReporter.reportError(XMLErrorReporter.java:400)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLErrorReporter.reportError(XMLErrorReporter.java:327)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLScanner.reportFatalError(XMLScanner.java:1465)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl$PrologDriver.next(XMLDocumentScannerImpl.java:1013)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(XMLDocumentScannerImpl.java:605)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(XMLDocumentFragmentScannerImpl.java:542)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:889)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:825)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(XMLParser.java:141)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(AbstractSAXParser.java:1224)
+ at java.xml/com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(SAXParserImpl.java:637)
+ at java.xml/com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl.parse(SAXParserImpl.java:326)
+ at org.eclipse.emf.ecore.xmi.impl.XMLLoadImpl.load(XMLLoadImpl.java:175)
+ at org.eclipse.emf.ecore.xmi.impl.XMLResourceImpl.doLoad(XMLResourceImpl.java:261)
+ at org.eclipse.emf.ecore.resource.impl.ResourceImpl.load(ResourceImpl.java:1563)
+ at org.eclipse.emf.ecore.resource.impl.ResourceImpl.load(ResourceImpl.java:1342)
+ at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.demandLoad(ResourceSetImpl.java:259)
+ at org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.demandLoadHelper(ResourceSetImpl.java:274)
+ ... 15 more
+
diff --git a/glsp-client/workspace/base.pnml b/glsp-client/workspace/base.pnml
new file mode 100644
index 0000000000000000000000000000000000000000..e86190ba10e342e0753e9e7612bd0930b5d1cfbc
--- /dev/null
+++ b/glsp-client/workspace/base.pnml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<pnml xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns="http://www.pnml.org/version-2009/grammar/pnml">
+ <net id="base">
+ <page id="b620d456-1c1f-4c04-a5ad-779a04e28a13">
+ <name text="global"/>
+ <nodegraphics>
+ <position x="136" y="6"/>
+ <dimension x="2286" y="1387"/>
+ </nodegraphics>
+ </page>
+ </net>
+</pnml>
diff --git a/glsp-client/workspace/sorting-wf-synced-safe-sensor-grpn-sig.pnml b/glsp-client/workspace/sorting-wf-synced-safe-sensor-grpn-sig.pnml
new file mode 100644
index 0000000000000000000000000000000000000000..cb036e2f0d018de97ff73674055b38259926e7e9
--- /dev/null
+++ b/glsp-client/workspace/sorting-wf-synced-safe-sensor-grpn-sig.pnml
@@ -0,0 +1,1099 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
+ <net id="SortingWorkflowSyncedSensorSafeSig" type="http://www.pnml.org/version-2009/grammar/ptnet">
+ <name>
+ <text>SortingWorkflowSyncedSensorSafeSig</text>
+ </name>
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <inputsignals>
+ <inputsignal>
+ <inputsignalID>Red</inputsignalID>
+ <initialvalue>false</initialvalue>
+ </inputsignal>
+ <inputsignal>
+ <inputsignalID>Blue</inputsignalID>
+ <initialvalue>false</initialvalue>
+ </inputsignal>
+ <inputsignal>
+ <inputsignalID>Green</inputsignalID>
+ <initialvalue>false</initialvalue>
+ </inputsignal>
+ <inputsignal>
+ <inputsignalID>PickSuccess</inputsignalID>
+ <initialvalue>false</initialvalue>
+ </inputsignal>
+ <inputsignal>
+ <inputsignalID>PlaceSuccess</inputsignalID>
+ <initialvalue>false</initialvalue>
+ </inputsignal>
+ <inputsignal>
+ <inputsignalID>PickFail</inputsignalID>
+ <initialvalue>false</initialvalue>
+ </inputsignal>
+ <inputsignal>
+ <inputsignalID>PlaceFail</inputsignalID>
+ <initialvalue>false</initialvalue>
+ </inputsignal>
+ <inputsignal>
+ <inputsignalID>Stop</inputsignalID>
+ <initialvalue>false</initialvalue>
+ </inputsignal>
+ <inputsignal>
+ <inputsignalID>Sensor</inputsignalID>
+ <initialvalue>false</initialvalue>
+ </inputsignal>
+ </inputsignals>
+ </toolspecific>
+ <page id="top">
+ <page id="SelectorPage">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>nodePage</type>
+ </toolspecific>
+ <place id="ObjectPoolRed">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>selector</node>
+ <subnet>selectorRed</subnet>
+ <balloonMarking>
+ <tokens>
+ <token>{"color" : "green", "name" : "green1", "pickSuccess" : "false", "placeSuccess" : "false",
+ "humanDetected" : "false", "sensorData" : "", "trace" : "", "locked" : "false" } </token>
+ </tokens>
+ </balloonMarking>
+ </toolspecific>
+ <initialMarking>
+ <text>1</text>
+ </initialMarking>
+ <name>
+ <text>ObjectPoolRed</text>
+ </name>
+ </place>
+ <place id="ObjectPoolBlue">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>selector</node>
+ <subnet>selectorBlue</subnet>
+ <balloonMarking>
+ <tokens>
+ <token>{"color" : "blue", "name" : "blue1", "pickSuccess" : "false", "placeSuccess" : "false",
+ "humanDetected" : "false", "sensorData" : "", "trace" : "", "locked" : "false" } </token>
+ </tokens>
+ </balloonMarking>
+ </toolspecific>
+ <initialMarking>
+ <text>1</text>
+ </initialMarking>
+ <name>
+ <text>ObjectPoolBlue</text>
+ </name>
+ </place>
+ <place id="ObjectPoolGreen">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>selector</node>
+ <subnet>selectorGreen</subnet>
+ <balloonMarking>
+ <tokens>
+ <token>{"color" : "red", "name" : "red1", "pickSuccess" : "false", "placeSuccess" : "false",
+ "humanDetected" : "false", "sensorData" : "", "trace" : "", "locked" : "false" } </token>
+ </tokens>
+ </balloonMarking>
+ </toolspecific>
+ <initialMarking>
+ <text>1</text>
+ </initialMarking>
+ <name>
+ <text>ObjectPoolGreen</text>
+ </name>
+ </place>
+
+ <transition id="SortRed">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>selector</node>
+ <subnet>selectorRed</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause>(Red)</inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>SortRed</text>
+ </name>
+ </transition>
+ <transition id="SortBlue">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>selector</node>
+ <subnet>selectorBlue</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause>(Blue)</inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>SortBlue</text>
+ </name>
+ </transition>
+ <transition id="SortGreen">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>selector</node>
+ <subnet>selectorGreen</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause>(Green)</inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>SortGreen</text>
+ </name>
+ </transition>
+
+ <place id="RedOut">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>selector</node>
+ <subnet>selectorRed</subnet>
+ </toolspecific>
+ <name>
+ <text>RedOut</text>
+ </name>
+ </place>
+ <place id="BlueOut">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>selector</node>
+ <subnet>selectorBlue</subnet>
+ </toolspecific>
+ <name>
+ <text>BlueOut</text>
+ </name>
+ </place>
+ <place id="GreenOut">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>selector</node>
+ <subnet>selectorGreen</subnet>
+ </toolspecific>
+ <name>
+ <text>GreenOut</text>
+ </name>
+ </place>
+
+ <arc id="a1" source="SortRed" target="RedOut">
+ </arc>
+ <arc id="a2" source="SortBlue" target="BlueOut">
+ </arc>
+ <arc id="a3" source="SortGreen" target="GreenOut">
+ </arc>
+ <arc id="a4" source="ObjectPoolRed" target="SortRed">
+ </arc>
+ <arc id="a5" source="ObjectPoolBlue" target="SortBlue">
+ </arc>
+ <arc id="a6" source="ObjectPoolGreen" target="SortGreen">
+ </arc>
+ </page>
+
+ <transition id="LeftCellTopic">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>topicTransitionType</type>
+ <topicName>LeftCellTopic</topicName>
+ <publishers>
+ <publisher>
+ <id>RedOut</id>
+ <limit>10</limit>
+ </publisher>
+ <publisher>
+ <id>BlueOut</id>
+ <limit>10</limit>
+ </publisher>
+ </publishers>
+ <subscribers>
+ <subscriber>
+ <id>L-AwaitingControl</id>
+ <limit>10</limit>
+ </subscriber>
+ </subscribers>
+ </toolspecific>
+ <name>
+ <text>LeftCellTopic</text>
+ </name>
+ </transition>
+ <transition id="RightCellTopic">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>topicTransitionType</type>
+ <topicName>RightCellTopic</topicName>
+ <publishers>
+ <publisher>
+ <id>GreenOut</id>
+ <limit>10</limit>
+ </publisher>
+ </publishers>
+ <subscribers>
+ <subscriber>
+ <id>R-AwaitingControl</id>
+ <limit>10</limit>
+ </subscriber>
+ </subscribers>
+ </toolspecific>
+ <name>
+ <text>RightCellTopic</text>
+ </name>
+ </transition>
+
+ <transition id="UITopic">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>topicTransitionType</type>
+ <topicName>UITopic</topicName>
+ <publishers>
+ <publisher>
+ <id>L-Done</id>
+ <limit>10</limit>
+ </publisher>
+ <publisher>
+ <id>R-Done</id>
+ <limit>10</limit>
+ </publisher>
+ </publishers>
+ <subscribers>
+ <subscriber>
+ <id>FeedbackIn</id>
+ <limit>10</limit>
+ </subscriber>
+ </subscribers>
+ </toolspecific>
+ <name>
+ <text>UITopic</text>
+ </name>
+ </transition>
+
+ <page id="LeftControllerPage">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>nodePage</type>
+ </toolspecific>
+
+ <place id="L-AwaitingControl">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>LeftController</node>
+ <subnet>LC1</subnet>
+ </toolspecific>
+ <name>
+ <text>L-AwaitingControl</text>
+ </name>
+ </place>
+ <place id="L-Ready">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>LeftController</node>
+ <subnet>LC1</subnet>
+ </toolspecific>
+ <name>
+ <text>L-Ready</text>
+ </name>
+ </place>
+ <place id="L-ObjectPicked">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>LeftController</node>
+ <subnet>LC1</subnet>
+ </toolspecific>
+ <name>
+ <text>L-ObjectPicked</text>
+ </name>
+ </place>
+ <place id="L-ObjectPlaced">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>LeftController</node>
+ <subnet>LC1</subnet>
+ </toolspecific>
+ <name>
+ <text>L-ObjectPlaced</text>
+ </name>
+ </place>
+ <place id="L-Done">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>LeftController</node>
+ <subnet>LC1</subnet>
+ </toolspecific>
+ <name>
+ <text>L-Done</text>
+ </name>
+ </place>
+ </page>
+
+ <page id="RightControllerPage">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>nodePage</type>
+ </toolspecific>
+
+ <place id="R-AwaitingControl">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>RightController</node>
+ <subnet>RC1</subnet>
+ </toolspecific>
+ <name>
+ <text>R-AwaitingControl</text>
+ </name>
+ </place>
+ <place id="R-Ready">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>RightController</node>
+ <subnet>RC1</subnet>
+ </toolspecific>
+ <name>
+ <text>R-Ready</text>
+ </name>
+ </place>
+ <place id="R-ObjectPicked">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>RightController</node>
+ <subnet>RC1</subnet>
+ </toolspecific>
+ <name>
+ <text>R-ObjectPicked</text>
+ </name>
+ </place>
+ <place id="R-ObjectPlaced">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>RightController</node>
+ <subnet>RC1</subnet>
+ </toolspecific>
+ <name>
+ <text>R-ObjectPlaced</text>
+ </name>
+ </place>
+ <place id="R-Done">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>RightController</node>
+ <subnet>RC1</subnet>
+ </toolspecific>
+ <name>
+ <text>R-Done</text>
+ </name>
+ </place>
+ </page>
+
+ <page id="FeedbackPage">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>nodePage</type>
+ </toolspecific>
+ <place id="FeedbackIn">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Feedback</node>
+ <subnet>Feedback</subnet>
+ </toolspecific>
+ <name>
+ <text>FeedbackIn</text>
+ </name>
+ </place>
+
+ <transition id="ShowFeedback">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Feedback</node>
+ <subnet>Feedback</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause></inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>ShowFeedback</text>
+ </name>
+ </transition>
+
+ <place id="FeedbackDone">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Feedback</node>
+ <subnet>Feedback</subnet>
+ </toolspecific>
+ <name>
+ <text>FeedbackDone</text>
+ </name>
+ </place>
+
+ <arc id="a7" source="FeedbackIn" target="ShowFeedback">
+ </arc>
+ <arc id="a8" source="ShowFeedback" target="FeedbackDone">
+ </arc>
+ </page>
+
+ <page id="SynchronizerPage">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>nodePage</type>
+ </toolspecific>
+ <page id="GetControlService">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>serverPrototype</type>
+ <serviceName>getControlService</serviceName>
+ </toolspecific>
+
+ <place id="GetControlIn">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Synchronizer</node>
+ <subnet>GetControl</subnet>
+ </toolspecific>
+ <name>
+ <text>GetControlIn</text>
+ </name>
+ </place>
+ <place id="GetControlOut">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Synchronizer</node>
+ <subnet>GetControl</subnet>
+ </toolspecific>
+ <name>
+ <text>GetControlOut</text>
+ </name>
+ </place>
+ <referencePlace id="GetSharedRef" ref="GetShared">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Synchronizer</node>
+ <subnet>GetControl</subnet>
+ </toolspecific>
+ <name>
+ <text>GetSharedRef</text>
+ </name>
+ </referencePlace>
+ <transition id="Get">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Synchronizer</node>
+ <subnet>GetControl</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause></inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>Get</text>
+ </name>
+ </transition>
+ <arc id="a9" source="GetControlIn" target="Get">
+ </arc>
+ <arc id="a10" source="Get" target="GetControlOut">
+ </arc>
+ <arc id="a11" source="GetSharedRef" target="Get">
+ </arc>
+ </page>
+ <page id="EndControlService">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>serverPrototype</type>
+ <serviceName>endControlService</serviceName>
+ </toolspecific>
+
+ <place id="EndControlIn">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Synchronizer</node>
+ <subnet>EndControl</subnet>
+ </toolspecific>
+ <name>
+ <text>EndControlIn</text>
+ </name>
+ </place>
+ <place id="EndControlOut">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Synchronizer</node>
+ <subnet>EndControl</subnet>
+ </toolspecific>
+ <name>
+ <text>EndControlOut</text>
+ </name>
+ </place>
+ <referencePlace id="GetEndSharedRef" ref="GetShared">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Synchronizer</node>
+ <subnet>EndControl</subnet>
+ </toolspecific>
+ <name>
+ <text>GetEndSharedRef</text>
+ </name>
+ </referencePlace>
+ <transition id="End">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Synchronizer</node>
+ <subnet>EndControl</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause></inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>End</text>
+ </name>
+ </transition>
+ <arc id="a12" source="EndControlIn" target="End">
+ </arc>
+ <arc id="a13" source="End" target="EndControlOut">
+ </arc>
+ <arc id="a13b" source="End" target="GetEndSharedRef">
+ </arc>
+ </page>
+ <page id="SharedSpacePage">
+ <place id="GetShared">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Synchronizer</node>
+ <subnet>SharedSync</subnet>
+ <balloonMarking>
+ <tokens>
+ <token>{ "color":"NONE","name":"NONE","pickSuccess":"false","placeSuccess":"false",
+ "humanDetected":"false","sensorData":"NONE","trace":"NONE", "locked" : "true" }
+ </token>
+ </tokens>
+ </balloonMarking>
+ </toolspecific>
+ <initialMarking>
+ <text>1</text>
+ </initialMarking>
+ <name>
+ <text>GetShared</text>
+ </name>
+ </place>
+ </page>
+ </page>
+
+ <transition id="GetControlServiceCall">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>serviceTransitionType</type>
+ <serviceName>getControlService</serviceName>
+ <serverInput>GetControlIn</serverInput>
+ <serverOutput>GetControlOut</serverOutput>
+ <serverCapacity>2</serverCapacity>
+ <channels>
+ <channel>
+ <cid>c1</cid>
+ <request>L-AwaitingControl</request>
+ <response>L-Ready</response>
+ </channel>
+ <channel>
+ <cid>c2</cid>
+ <request>R-AwaitingControl</request>
+ <response>R-Ready</response>
+ </channel>
+ </channels>
+ </toolspecific>
+ <name>
+ <text>GetControlServiceCall</text>
+ </name>
+ </transition>
+ <transition id="EndControlServiceCall">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>serviceTransitionType</type>
+ <serviceName>endControlService</serviceName>
+ <serverInput>EndControlIn</serverInput>
+ <serverOutput>EndControlOut</serverOutput>
+ <serverCapacity>2</serverCapacity>
+ <channels>
+ <channel>
+ <cid>c3</cid>
+ <request>L-ObjectPlaced</request>
+ <response>L-Done</response>
+ </channel>
+ <channel>
+ <cid>c4</cid>
+ <request>R-ObjectPlaced</request>
+ <response>R-Done</response>
+ </channel>
+ </channels>
+ </toolspecific>
+ <name>
+ <text>EndControlServiceCall</text>
+ </name>
+ </transition>
+
+ <transition id="PickServiceCall">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>serviceTransitionType</type>
+ <serviceName>pickService</serviceName>
+ <serverInput>PickInput</serverInput>
+ <serverOutput>PickOutput</serverOutput>
+ <serverCapacity>2</serverCapacity>
+ <channels>
+ <channel>
+ <cid>c5</cid>
+ <request>L-Ready</request>
+ <response>L-ObjectPicked</response>
+ </channel>
+ <channel>
+ <cid>c6</cid>
+ <request>R-Ready</request>
+ <response>R-ObjectPicked</response>
+ </channel>
+ </channels>
+ </toolspecific>
+ <name>
+ <text>PickServiceCall</text>
+ </name>
+ </transition>
+
+ <transition id="PlaceServiceCall">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>serviceTransitionType</type>
+ <serviceName>placeService</serviceName>
+ <serverInput>PlaceInput</serverInput>
+ <serverOutput>PlaceOutput</serverOutput>
+ <serverCapacity>2</serverCapacity>
+ <channels>
+ <channel>
+ <cid>c7</cid>
+ <request>L-ObjectPicked</request>
+ <response>L-ObjectPlaced</response>
+ </channel>
+ <channel>
+ <cid>c8</cid>
+ <request>R-ObjectPicked</request>
+ <response>R-ObjectPlaced</response>
+ </channel>
+ </channels>
+ </toolspecific>
+ <name>
+ <text>PlaceServiceCall</text>
+ </name>
+ </transition>
+
+ <page id="ExecutorPage">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>nodePage</type>
+ </toolspecific>
+
+ <page id="PickService">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>serverPrototype</type>
+ <serviceName>pickService</serviceName>
+ </toolspecific>
+
+ <place id="PickInput">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PickService</subnet>
+ </toolspecific>
+ <name>
+ <text>PickInput</text>
+ </name>
+ </place>
+ <place id="Picking">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PickService</subnet>
+ </toolspecific>
+ <name>
+ <text>Picking</text>
+ </name>
+ </place>
+ <place id="PickOutput">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PickService</subnet>
+ </toolspecific>
+ <name>
+ <text>PickOutput</text>
+ </name>
+ </place>
+
+ <transition id="Pick">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PickService</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause></inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>Pick</text>
+ </name>
+ </transition>
+ <transition id="PickingFail">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PickService</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause>(PickFail)</inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>PickingFail</text>
+ </name>
+ </transition>
+ <transition id="PickingSuccess">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PickService</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause>(PickSuccess)</inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>PickingSuccess</text>
+ </name>
+ </transition>
+ <transition id="PickingAbort">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PickService</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause></inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>PickingAbort</text>
+ </name>
+ </transition>
+ <referencePlace id="PickSafeRef" ref="Safe">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PickService</subnet>
+ </toolspecific>
+ <name>
+ <text>PickSafeRef</text>
+ </name>
+ </referencePlace>
+ <referencePlace id="PickUnsafeRef" ref="Unsafe">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PickService</subnet>
+ </toolspecific>
+ <name>
+ <text>PickUnsafeRef</text>
+ </name>
+ </referencePlace>
+ <arc id="a15" source="PickInput" target="Pick">
+ </arc>
+ <arc id="a16" source="Pick" target="PickSafeRef">
+ </arc>
+ <arc id="a17" source="PickSafeRef" target="Pick">
+ </arc>
+ <arc id="a18" source="Pick" target="Picking">
+ </arc>
+ <arc id="a19" source="Picking" target="PickingFail">
+ </arc>
+ <arc id="a20" source="Picking" target="PickingSuccess">
+ </arc>
+ <arc id="a21" source="Picking" target="PickingAbort">
+ </arc>
+ <arc id="a22" source="PickingFail" target="PickOutput">
+ </arc>
+ <arc id="a23" source="PickingSuccess" target="PickOutput">
+ </arc>
+ <arc id="a24" source="PickingAbort" target="PickOutput">
+ </arc>
+ <arc id="a24n1" source="PickingAbort" target="PickUnsafeRef">
+ </arc>
+ <arc id="a24n2" source="PickUnsafeRef" target="PickingAbort">
+ </arc>
+ </page>
+
+ <page id="PlaceService">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>serverPrototype</type>
+ <serviceName>placeService</serviceName>
+ </toolspecific>
+
+ <place id="PlaceInput">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PlaceService</subnet>
+ </toolspecific>
+ <name>
+ <text>PlaceInput</text>
+ </name>
+ </place>
+ <place id="Placing">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PlaceService</subnet>
+ </toolspecific>
+ <name>
+ <text>Placing</text>
+ </name>
+ </place>
+ <place id="PlaceOutput">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PlaceService</subnet>
+ </toolspecific>
+ <name>
+ <text>PlaceOutput</text>
+ </name>
+ </place>
+
+ <transition id="Place">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PlaceService</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause></inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>Place</text>
+ </name>
+ </transition>
+ <transition id="PlacingFail">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PlaceService</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause>(PlaceFail)</inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>PlacingFail</text>
+ </name>
+ </transition>
+ <transition id="PlacingSuccess">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PlaceService</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause>(PlaceSuccess)</inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>PlacingSuccess</text>
+ </name>
+ </transition>
+ <transition id="PlacingAbort">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PlaceService</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause></inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>PlaceingAbort</text>
+ </name>
+ </transition>
+ <referencePlace id="PlaceSafeRef" ref="Safe">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PlaceService</subnet>
+ </toolspecific>
+ <name>
+ <text>PlaceSafeRef</text>
+ </name>
+ </referencePlace>
+ <referencePlace id="PlaceUnsafeRef" ref="Unsafe">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>PlaceService</subnet>
+ </toolspecific>
+ <name>
+ <text>PlaceUnsafeRef</text>
+ </name>
+ </referencePlace>
+ <arc id="a25" source="PlaceInput" target="Place">
+ </arc>
+ <arc id="a26" source="Place" target="PlaceSafeRef">
+ </arc>
+ <arc id="a27" source="PlaceSafeRef" target="Place">
+ </arc>
+ <arc id="a28" source="Place" target="Placing">
+ </arc>
+ <arc id="a29" source="Placing" target="PlacingFail">
+ </arc>
+ <arc id="a30" source="Placing" target="PlacingSuccess">
+ </arc>
+ <arc id="a31" source="Placing" target="PlacingAbort">
+ </arc>
+ <arc id="a32" source="PlacingFail" target="PlaceOutput">
+ </arc>
+ <arc id="a33" source="PlacingSuccess" target="PlaceOutput">
+ </arc>
+ <arc id="a34" source="PlacingAbort" target="PlaceOutput">
+ </arc>
+ <arc id="a34n1" source="PlacingAbort" target="PlaceUnsafeRef">
+ </arc>
+ <arc id="a34n2" source="PlaceUnsafeRef" target="PlacingAbort">
+ </arc>
+ </page>
+
+ <page id="SafetyModel">
+ <place id="Unsafe">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>SafetyModel</subnet>
+ <balloonMarking>
+ <tokens>
+ <token>{ "color":"NONE","name":"NONE","pickSuccess":"false","placeSuccess":"false",
+ "humanDetected":"false","sensorData":"NONE","trace":"-safety", "locked" : "true" }
+ </token>
+ </tokens>
+ </balloonMarking>
+ </toolspecific>
+ <initialMarking>
+ <text>1</text>
+ </initialMarking>
+ <name>
+ <text>Unsafe</text>
+ </name>
+ </place>
+ <place id="Safe">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>SafetyModel</subnet>
+ </toolspecific>
+ <name>
+ <text>Safe</text>
+ </name>
+ </place>
+ <place id="SensorCall">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>SafetyModel</subnet>
+ </toolspecific>
+ <name>
+ <text>SensorCall</text>
+ </name>
+ </place>
+ <place id="SensorResponse">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>SafetyModel</subnet>
+ </toolspecific>
+ <name>
+ <text>SensorResponse</text>
+ </name>
+ </place>
+
+ <transition id="UnsafeToSensorCall">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>SafetyModel</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause></inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>UnsafeToSensorCall</text>
+ </name>
+ </transition>
+ <transition id="SafeToUnsafe">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>SafetyModel</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause>(Stop)</inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>SafeToUnsafe</text>
+ </name>
+ </transition>
+ <transition id="TransitionSafe">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>SafetyModel</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause></inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>TransitionSafe</text>
+ </name>
+ </transition>
+ <transition id="TransitionUnsafe">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>SafetyModel</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause></inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>TransitionUnsafe</text>
+ </name>
+ </transition>
+ <transition id="SafeToSensorCall">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Executor</node>
+ <subnet>SafetyModel</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause></inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>SafeToSensorCall</text>
+ </name>
+ </transition>
+
+ <arc id="a49" source="Unsafe" target="UnsafeToSensorCall">
+ </arc>
+ <arc id="a50" source="UnsafeToSensorCall" target="SensorCall">
+ </arc>
+ <arc id="a51" source="Safe" target="SafeToUnsafe">
+ </arc>
+ <arc id="a52" source="SafeToUnsafe" target="Unsafe">
+ </arc>
+ <arc id="a53" source="SensorResponse" target="TransitionUnsafe">
+ </arc>
+ <arc id="a54" source="TransitionUnsafe" target="Unsafe">
+ </arc>
+ <arc id="a55" source="Safe" target="SafeToSensorCall">
+ </arc>
+ <arc id="a56" source="SafeToSensorCall" target="SensorCall">
+ </arc>
+ <arc id="a57" source="SensorResponse" target="TransitionSafe">
+ </arc>
+ <arc id="a58" source="TransitionSafe" target="Safe">
+ </arc>
+ </page>
+ </page>
+
+ <transition id="SensorServiceCall">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>serviceTransitionType</type>
+ <serviceName>sensorService</serviceName>
+ <serverInput>SensorIn</serverInput>
+ <serverOutput>SensorOut</serverOutput>
+ <serverCapacity>1</serverCapacity>
+ <channels>
+ <channel>
+ <cid>c9</cid>
+ <request>SensorCall</request>
+ <response>SensorResponse</response>
+ </channel>
+ </channels>
+ </toolspecific>
+ <name>
+ <text>SensorServiceCall</text>
+ </name>
+ </transition>
+
+ <page id="SensorPage">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>nodePage</type>
+ </toolspecific>
+
+ <page id="SensorService">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <type>serverPrototype</type>
+ <serviceName>sensorService</serviceName>
+ </toolspecific>
+
+ <place id="SensorIn">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Sensorics</node>
+ <subnet>SensorService</subnet>
+ </toolspecific>
+ <name>
+ <text>SensorIn</text>
+ </name>
+ </place>
+ <place id="SensorInter">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Sensorics</node>
+ <subnet>SensorService</subnet>
+ </toolspecific>
+ <name>
+ <text>SensorInter</text>
+ </name>
+ </place>
+ <place id="SensorOut">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Sensorics</node>
+ <subnet>SensorService</subnet>
+ </toolspecific>
+ <name>
+ <text>SensorOut</text>
+ </name>
+ </place>
+ <transition id="GetSensorData">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Sensorics</node>
+ <subnet>SensorService</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause>(Sensor)</inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>GetSensorData</text>
+ </name>
+ </transition>
+ <transition id="ProcessSensorData">
+ <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
+ <node>Sensorics</node>
+ <subnet>SensorService</subnet>
+ <type>discreteTransitionType</type>
+ <inputsignalclause></inputsignalclause>
+ </toolspecific>
+ <name>
+ <text>ProcessSensorData</text>
+ </name>
+ </transition>
+ <arc id="a59" source="SensorIn" target="GetSensorData">
+ </arc>
+ <arc id="a60" source="GetSensorData" target="SensorInter">
+ </arc>
+ <arc id="a61" source="SensorInter" target="ProcessSensorData">
+ </arc>
+ <arc id="a62" source="ProcessSensorData" target="SensorOut">
+ </arc>
+ </page>
+ </page>
+ </page>
+ </net>
+</pnml>
+