Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal.
Nasreddine AoumeurGunter SaakePublished in: Data Knowl. Eng. (2004)
Keyphrases
- petri net
- dynamically evolving
- information systems
- colored petri nets
- state machines
- reactive systems
- concurrent processes
- sequence diagrams
- discrete event systems
- petri net model
- fuzzy petri net
- manufacturing systems
- service composition
- state machine
- process algebra
- computer systems
- ims ld
- information security
- supervisory control
- formal specification
- stochastic petri net
- programmable logic controller