Skip to search formSkip to main contentSkip to account menu

CPN-AMI

CPN-AMI is a computer-aided software engineering environment based on Petri Net specifications. It allows the ability to specify the behavior of a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Computer-aided software engineeringDeadlockDistributed computingModel checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Using Timed Automata for a Priori Warnings and Planning for Timed Declarative Process Models
Many processes are characterized by high variability, making traditional process modeling languages cumbersome or even impossible… 
2011
2011
CPN-TWS: a coloured petri-net approach for transactional-QoS driven Web Service composition
In this paper, we address the issue of selecting and composing Web Services (WSs) considering functional and Quality of Service… 
2009
2009
From AADL Architectural Models to Petri Nets: Checking Model Viability
Modeling of Distributed Real-Time Embedded (DRE) systems allows one toevaluate models behavior or schedulability. However… 
2007
2007
Protos2CPN: using colored Petri nets for configuring and testing business processes
Protos is a popular tool for business process modelling used in more than 1,500 organizations. It has a built-in Petri-net-based… 
2006
2006
Process capability monitoring chart with an application in the silicon-filler manufacturing process
Process capability indices (PCIs) can be viewed as effective and excellent means of measuring product quality and performance… 
Review
1995
Review
1995
Workflow Modelling and Execution with Coloured Petri Nets in COSM
Modern distributed organisations use data communication increasingly fast, globaly and at decreasing costs. Such developments… 
Review
1995
Review
1995
The Mental Health Nursing Review: implications for community psychiatric nurses
The recent review of mental health nursing recommended that nurses refocus their attention on people with serious mental illness… 
1994
1994
An integrated framework for rapid system prototyping and automatic code distribution
  • W. KaimF. Kordon
  • Proceedings of IEEE 5th International Workshop on…
  • 1994
  • Corpus ID: 7680708
Rapid prototyping of parallel systems is of interest to quickly produce a parallel prototype. The emergence of distributed… 
1990
1990
ON REAL HYPERSURFACES OF A COMPLEX SPACE FORM WITH ^-PARALLEL RICCI TENSOR
Let Mn(c) denote an n-dimensional complex space form with constant holomorphic sectional curvature c. It is well known that a… 
1987
1987
CORRELATION OF NUCLEAR DENSITY RESULTS WITH CORE DENSITIES
The paper summarizes the findings of a research effort (a) to determine whether correlation exists between the results of nuclear… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)