Systematic approach to the Petri net based specification of concurrent systems

Real-Time Systems

Volumn 13, Issue 3, 1997, Pages 219-236

  Mazzeo, Antonino ^a   Mazzocca, Nicola ^a   Russo, Stefano ^a   Vittorini, Valeria ^a  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONCURRENT ENGINEERING; FORMAL LOGIC; MATHEMATICAL TRANSFORMATIONS; PETRI NETS; RAILROAD TRAFFIC CONTROL; RISK ASSESSMENT; SOFTWARE ENGINEERING;

FORMAL SPECIFICATION; FORMAL VERIFICATION;

REAL TIME SYSTEMS;

EID: 0031282057     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1007907309442     Document Type: Article

References (16)