A Petri Net Semantics of a Simple Process Algebra for Mobility.
Raymond R. DevillersHanna KlaudelMaciej KoutnyPublished in: EXPRESS (2005)
Keyphrases
- petri net
- process algebra
- concurrent systems
- petri net model
- concurrent programs
- formal specification
- web service composition
- stochastic petri net
- colored petri nets
- formal methods
- web services composition
- ims ld
- fuzzy petri net
- asynchronous circuits
- service composition
- model checking
- highly reliable
- process model
- story generation
- mobile agents
- information systems
- formal semantics
- human brain