Petri nets: an introduction
Petri nets and algebraic specifications
Theoretical Computer Science
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Coloured Petri Nets Extended with Channels for Synchronous Communication
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
On Integrating Mobile Devices into a Workflow Management Scenario
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
Petri Net Processes for Zero-Safe Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Hornets: Nets within Nets Combined with Net Algebra
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Property-Transition-Net-Based Workflow Process Modeling and Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
A proposal for structuring Petri net-based agent interaction protocols
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
An uncoordinated asynchronous checkpointing model for hierarchical scientific workflows
Journal of Computer and System Sciences
Dynamic workflow adaptation over adaptive infrastructures
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Towards service-based business process modeling, prototyping and integration
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Enforcing QoS in scientific workflow systems enacted over Cloud infrastructures
Journal of Computer and System Sciences
Petri Net Processes for Zero-Safe Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Hi-index | 0.00 |
The development of workflow applications requires satisfactory concepts and tools. Workflow patterns cover the conceptual part. To base the patterns on high-level Petri nets allows for the tight integration of the modelling editor with the actual execution engine.The development process of workflow applications gains from this. We propose to use Reference nets as the modelling technique, Renew as the basic execution engine, and our workflow modelling tool for the design of workflows.The latter is a plug-in for the Renew editor, which is based on the use of workflow patterns. The development process is based on prototyping.