Author of the publication

Petri Net Analysis Using Boolean Manipulation.

, , , and . Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, page 416-435. Springer, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Autopilot Abstraction and Standardization for Seamless Integration of Unmanned Aircraft System Applications., , , , , , and . J. Aerosp. Comput. Inf. Commun., 8 (7): 197-223 (2011)Counter a Drone in a Complex Neighborhood Area by Deep Reinforcement Learning., , and . Sensors, 20 (8): 2320 (2020)A structural encoding technique for the synthesis of asynchronous circuits., , and . Fundam. Informaticae, 50 (2): 135-154 (2002)Symbolic Analysis of Bounded Petri Nets., , and . IEEE Trans. Computers, 50 (5): 432-448 (2001)Synthesis of Speed-Independent Circuits from STG-Unfolding Segment., , , , and . DAC, page 16-21. ACM Press, (1997)A taxonomy of UAS separation maneuvers and their automated execution., , , , and . ATACCS, page 1-11. IRIT Press Toulouse, France / ACM DL, (2012)Hierarchical gate-level verification of speed-independent circuits., , and . ASYNC, page 128-137. IEEE Computer Society, (1995)A Case Study for the Verification of Complex Timed Circuits: IPCMOS., , , and . DATE, page 44-51. IEEE Computer Society, (2002)Efficient Encoding Schemes for Symbolic Analysis of Petri Nets., and . DATE, page 790-795. IEEE Computer Society, (1998)A new look at the conditions for the synthesis of speed-independent circuits., , and . Great Lakes Symposium on VLSI, page 230-. IEEE Computer Society, (1995)