Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems
Lorenzo Capra
Topics & Concepts
RewritingPetri netComputer scienceDistributed computingProgramming languageProcess architectureTemporal logicTheoretical computer sciencePetri Nets in System ModelingFormal Methods in VerificationBusiness Process Modeling and Analysis