Skip to content
Snippets Groups Projects
Commit 90348cfa authored by tj's avatar tj
Browse files

updated TaskAndTimeTimJahn.txt added 2 new Models - one the example, one as... 

updated TaskAndTimeTimJahn.txt added 2 new Models - one the example, one as base for new .pnml files (models)
parent 14b68c23
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
TaskAndTimeTimJahn.txt
+ 225
− 2
View file @ 90348cfa
...@@ -43,6 +43,7 @@ hours: ...@@ -43,6 +43,7 @@ hours:
24.11.24 4h 24.11.24 4h
30.11.24 8h 30.11.24 8h
01.12.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 see https://github.com/eclipse-theia/theia/blob/master/doc/Developing.md#prerequisite_native_keymap
...@@ -95,25 +96,41 @@ some unclear aspects regarding the issues: ...@@ -95,25 +96,41 @@ some unclear aspects regarding the issues:
#1 no bug fix; add mask? #1 no bug fix; add mask?
- new pnml is empty file - misses model; add defaut model via handler - 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? #2 tasklist file names?
- petri_net editor - petri_net editor
- rename everything
#3 one page includes all others elements? #3 one page includes all others elements?
- one page includes all - one page includes all
- modify CreateServerPageHandler.java
#4 node page - maybe example #4 node page - maybe example
- beispiel - last link - 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 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 - 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 #5 "all elements like channels" - only channels
- input only for transitions, markings only for places - input only for transitions, markings only for places
- see
https://eclipse.dev/glsp/documentation/ui-extensions/
#6 some details pls #6 some details pls
- elements are in the model but not in the exported pnml - 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 #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 prio 1,3,4,6
...@@ -121,3 +138,209 @@ push to devel, merge with sebastioan as assignee in gitlab website ...@@ -121,3 +138,209 @@ push to devel, merge with sebastioan as assignee in gitlab website
30.11.24 8h 30.11.24 8h
01.12.24 8h 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
glsp-client/workspace/base.pnml 0 → 100644
+ 12
− 0
View file @ 90348cfa
<?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>
glsp-client/workspace/sorting-wf-synced-safe-sensor-grpn-sig.pnml 0 → 100644
+ 1099
− 0
View file @ 90348cfa
<?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>
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment