Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Statecharts: A visual formalism for complex systems
Science of Computer Programming
On the mutual simulatability of different types of Petri nets
Concurrency and nets: advances in Petri nets
Software process model analysis based on FUNSOFT nets
Systems Analysis Modelling Simulation
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Decentralised process enactment in a multi-perspective development environment
Proceedings of the 17th international conference on Software engineering
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Tools get formal methods into practice
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Process programming: a structured multi-paradigm approach could be achieved
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Process Management in Practice Applying the FUNSOFT NetApproach to Large-Scale Processes
Automated Software Engineering
The Software Process: Modelling and Technology
Software Process: Principles, Methodology, Technology
Graphs in METAFrame: The Unifying Power of Polymorphism
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Formal Methods and Customized Visualization: A Fruitful Symbiosis
ACoS '98/VISUAL '98, AIN '97 Selected papers on Services and Visualization: Towards User-Friendly Design
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Business Process Modelling in the Workflow-Management Environment Leu
ER '94 Proceedings of the13th International Conference on the Entity-Relationship Approach
Reflections on the Relationship Between BPR and Software Process Modelling
ER '94 Proceedings of the13th International Conference on the Entity-Relationship Approach
Hierarchies in coloured Petri nets
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
FUNSOFT nets: a Petri-net based software process modeling language
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Hi-index | 0.00 |
In this article we describe an integrated approach to process management based on the widely used LEU toolset for process modelling and workflow management and on the ABC tools for formal verification of process model properties. We show how process modelling and process model analysis benefit from this integration by gaining a fully automatic global property check capability. We illustrate the approach by means of a process model example taken from an industrial project.