Petri Net based VerificatioN aNd recoNfiguratioN of bPMN rePreseNted coNfigured coNstructioN Processes

@inproceedings{Kog2013PetriNB,
  title={Petri Net based VerificatioN aNd recoNfiguratioN of bPMN rePreseNted coNfigured coNstructioN Processes},
  author={Faikcan Kog and Mehmet G{\"o}k},
  year={2013}
}
Verification of the completeness and consistency system network and validation of the intended purposes of the configured process models are important problems of the Business Process Configuration (BPC) environment. The same situation holds also for the construction processes, which consist of very complex and detailed processes and are not easy to model or to integrate with each other. Moreover, process modeling tools must support the process configuration with verification knowledge, which… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 24 REFERENCES

Model verification and validation, Workshop on “Threat Anticipation: Social Science Methods and Models”, the University of Chicago and Argonne

C MMacal
  • 2005
VIEW 11 EXCERPTS
HIGHLY INFLUENTIAL

generating sequences of construction tasks

W Huhnt
  • Proceedings of 22nd of W78 conference on information technology in construction,
  • 2005
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

The Petri Net Markup Language

  • Petri Net Technology for Communication-Based Systems
  • 2003
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

Mefisto: Prosim. Available at: http://bci52.cib.bau.tu-dresden.de:3000/rpms

A. Ismail
  • 2012
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Construction process configuration using process patterns. advanced engineering informatics

A Benevolenskiy, K Ross, P Katranuschkov, R JScherer
  • 2012
VIEW 3 EXCERPTS

Simulation von Bauausführungsvarianten eines Hochhauses

A Ismail, A Benevolenskiy
  • Mefisto Kongress
  • 2011
VIEW 2 EXCERPTS

Similar Papers

Loading similar papers…