search

iocchi / PetriNetPlans

Petri Net Plans library and applications
31 stars 15 forks source link

Usage of tokens in multiple places #21

Closed tdankert closed 6 years ago

tdankert commented 7 years ago

For generation of the plans it seems that it is usually meant to be linear during execution. I was not able to find a syntax for multiple transitions from one place to more than one place. What I would like to accomplish is to split movement and text-to-speech (as shown in the image). Is there a way to do this?

parallel

iocchi commented 7 years ago

Parallel execution of portions of a PNP can be obtained with the fork/join constructs. An example is given in this plan https://github.com/iocchi/PetriNetPlans/blob/master/PNPros/ROS_bridge/pnp_ros/plans/MultiRobot.png

Currently, the PNPgen library does not include specifications and generation of plans with such a feature, but you can do it manually with the Jarp graphical editor.